pmap_inval_bulk_t
void pmap_inval_bulk_init(pmap_inval_bulk_t *bulk, struct pmap *pmap);
pt_entry_t pmap_inval_bulk(pmap_inval_bulk_t *bulk, vm_offset_t va,
void pmap_inval_bulk_flush(pmap_inval_bulk_t *bulk);
pmap_release_pv(pv_entry_t pv, pv_entry_t pvp, pmap_inval_bulk_t *bulk)
pmap_remove_pv_pte(pv_entry_t pv, pv_entry_t pvp, pmap_inval_bulk_t *bulk,
pmap_inval_bulk_t *bulk, int destroy);
pmap_inval_bulk_t *bulk);
pmap_inval_bulk_t bulk_core;
pmap_inval_bulk_t *bulk;
pmap_inval_bulk_init(pmap_inval_bulk_t *bulk, struct pmap *pmap)
pmap_inval_bulk(pmap_inval_bulk_t *bulk, vm_offset_t va,
pmap_inval_bulk_flush(pmap_inval_bulk_t *bulk)