pmap_inval_bulk
pt_entry_t pmap_inval_bulk(pmap_inval_bulk_t *bulk, vm_offset_t va,
pmap_inval_bulk(bulk, (vm_offset_t)-1, pdp, 0);
pmap_inval_bulk(bulk, (vm_offset_t)-1, pdp_iso, 0);
pmap_inval_bulk(bulk, (vm_offset_t)-1, pd, 0);
pmap_inval_bulk(bulk, (vm_offset_t)-1, pt, 0);
pte = pmap_inval_bulk(info->bulk, va, ptep, 0);