pmap_inval_bulk_init
void pmap_inval_bulk_init(pmap_inval_bulk_t *bulk, struct pmap *pmap);
pmap_inval_bulk_init(&info->bulk_core, pmap);