Searched defs:KPDPphys (Results 1 – 2 of 2) sorted by relevance
140 uint64_t KPDPphys; /* phys addr of kernel level 3 */ variable
253 uint64_t KPDPphys; /* phys addr of kernel level 3 */ variable