sfmmu_kpm_getvaddr
static caddr_t sfmmu_kpm_getvaddr(page_t *, int *);
vaddr = sfmmu_kpm_getvaddr(pp, &kpm_vac_range);