Symbol: PMAP_LOCK_INIT
sys/arch/ia64/ia64/pmap.c
1488
PMAP_LOCK_INIT(pmap);
sys/arch/ia64/ia64/pmap.c
500
PMAP_LOCK_INIT(kernel_pmap);