Symbol: pmap_growkernel_86
sys/arch/i386/i386/pmap.c
2869
vaddr_t (*pmap_growkernel_p)(vaddr_t) = pmap_growkernel_86;
sys/arch/i386/include/pmap.h
320
vaddr_t pmap_growkernel_86(vaddr_t);