Symbol: PTmap
sys/platform/pc64/x86_64/pmap.c
816
return (PTmap + ((va >> PAGE_SHIFT) & mask));
sys/platform/pc64/x86_64/pmap.c
835
pte = kreadmem64(PTmap + ((va >> PAGE_SHIFT) & mask));