Symbol: fastboot_vatoindex
usr/src/uts/i86pc/os/fastboot.c
239
static uint_t fastboot_vatoindex(fastboot_info_t *, uintptr_t, int);
usr/src/uts/i86pc/os/fastboot.c
290
index = fastboot_vatoindex(nk, vstart, l);
usr/src/uts/i86pc/os/fastboot.c
301
uint_t index = fastboot_vatoindex(nk, vaddr, l);