Home
last modified time | relevance | path

Searched defs:KPDphys (Results 1 – 2 of 2) sorted by relevance

/dflybsd-src/sys/platform/vkernel64/platform/
H A Dpmap.c139 static uint64_t KPDphys; /* phys addr of kernel level 2 */ variable
/dflybsd-src/sys/platform/pc64/x86_64/
H A Dpmap.c251 static uint64_t KPDphys; /* phys addr of kernel level 2 */ variable