GT_PGADDR
hat_devload(kas.a_hat, (caddr_t)GT_PGADDR(i), PAGESIZE,
(void) HYPERVISOR_update_va_mapping(GT_PGADDR(i),