PAGE_TABLE         63 bsp/hal/arm/include/mmu.h #define PAGE_TABLE(virt)    (int)((((vaddr_t)(virt)) >> 12) & 0xff)
PAGE_TABLE         64 bsp/hal/ppc/include/mmu.h #define PAGE_TABLE(virt)
PAGE_TABLE         68 bsp/hal/x86/include/mmu.h #define PAGE_TABLE(virt)    (int)((((vaddr_t)(virt)) >> 12) & 0x3ff)