Symbol: kreadmem64
sys/platform/pc64/x86_64/pmap.c
835
pte = kreadmem64(PTmap + ((va >> PAGE_SHIFT) & mask));
sys/sys/systm.h
297
long kreadmem64(const void *addr);