Searched refs:MMU_STD_PAGEMASK (Results 1 – 2 of 2) sorted by relevance
73 #define MMU_STD_PAGEMASK 0xFFFFFFFFFFFFF000ULL macro75 #define MMU_STD_PAGEMASK 0xFFFFF000UL
151 printf("#define\tMMU_STD_PAGEMASK 0x%x\n", (uint_t)MMU_STD_PAGEMASK); in main()