acrn-kernel/include/asm-mn10300/mmu.h