acrn-kernel/include/asm-powerpc/percpu.h