Searched refs:BootPTD (Results 1 – 2 of 2) sorted by relevance
39 extern pd_entry_t BootPTD[2048];95 if (phys == BootPTD[index]) { in pal_hib_map()98 BootPTD[index] = phys; in pal_hib_map()100 BootPTD[index + 1] = (phys + I386_LPGBYTES); in pal_hib_map()
86 pd_entry_t BootPTD[2048] variable