Symbol: pl_pi
sys/arch/x86/x86/pmap.c
6201
index = pl_pi(va, i);
sys/arch/x86/x86/pmap.c
6256
index = pl_pi(va, i);
sys/arch/x86/x86/pmap.c
6514
index = pl_pi(va, i);
sys/arch/x86/x86/svs.c
338
pidx = pl_pi(va, i);