Symbol: pmap_kptpage_alloc
sys/arch/alpha/alpha/pmap.c
3555
if (!pmap_kptpage_alloc(&ptaddr))
sys/arch/alpha/alpha/pmap.c
3590
if (!pmap_kptpage_alloc(&ptaddr))