fastboot_vatoindex
static uint_t fastboot_vatoindex(fastboot_info_t *, uintptr_t, int);
index = fastboot_vatoindex(nk, vstart, l);
uint_t index = fastboot_vatoindex(nk, vaddr, l);