Searched refs:PGTABLE_START (Results 1 – 2 of 2) sorted by relevance
109 set_ptevaddr_register(PGTABLE_START); in init_mmu()
44 #define PGTABLE_START 0x80000000 macro