Symbol: vatoindex
usr/src/uts/i86pc/boot/boot_mmu.c
118
index = vatoindex(va, l);
usr/src/uts/i86pc/boot/boot_mmu.c
90
index = vatoindex(va, l);