acrn-kernel/arch/parisc/include/asm/mmu.h