Symbol: pmap_get_kernel_pte
sys/arch/powerpc64/include/pmap.h
83
struct pte *pmap_get_kernel_pte(vaddr_t);
sys/arch/powerpc64/powerpc64/db_memrw.c
93
pte = pmap_get_kernel_pte((vaddr_t)dst);