Symbol: VP_IDX2
sys/arch/arm64/arm64/pmap.c
178
VP_IDX2(vaddr_t va)
sys/arch/arm64/dev/smmu.c
884
VP_IDX2(vaddr_t va)
sys/arch/powerpc/powerpc/pmap.c
246
VP_IDX2(vaddr_t va)
sys/arch/powerpc64/powerpc64/pmap.c
176
VP_IDX2(vaddr_t va)
sys/arch/riscv64/riscv64/pmap.c
264
VP_IDX2(vaddr_t va)