IMMU_NPREPTES
static immu_dcookie_t immu_precookie = { MMU_PAGESIZE, IMMU_NPREPTES };
xsize = IMMU_NPREPTES * IMMU_PAGESIZE;
n = IMMU_NPREPTES;
dvma_unmap(domain, ihp->ihp_predvma, IMMU_NPREPTES, rdip);
IMMU_NPREPTES * IMMU_PAGESIZE);
if (npgalloc <= IMMU_NPREPTES && ihp->ihp_predvma != 0) {
hw_pdte_t *ihp_preptes[IMMU_NPREPTES];