sfmmu_tteload_array
(void) sfmmu_tteload_array(hat, &tte, addr, &pp, flags, rid);
(void) sfmmu_tteload_array(hat, &tte, addr, &pp,
(void) sfmmu_tteload_array(hat, &tte, addr, &pp,
(void) sfmmu_tteload_array(hat, &tte, addr, &pp,
(void) sfmmu_tteload_array(hat, &tte, addr, &pp,
(void) sfmmu_tteload_array(hat, &tte, addr, &pp,
if (!sfmmu_tteload_array(hat, &tte, addr,
(void) sfmmu_tteload_array(sfmmup, ttep, vaddr, &pp, flags,
static int sfmmu_tteload_array(sfmmu_t *, tte_t *, caddr_t, page_t **,