hat_release_mapping
hat_release_mapping(kas.a_hat,
hat_release_mapping(kas.a_hat, xnbp->xnb_rx_ring_addr);
hat_release_mapping(kas.a_hat, xnbp->xnb_tx_ring_addr);
hat_release_mapping(as->a_hat, uaddr);
hat_release_mapping(as->a_hat, uaddr);
hat_release_mapping(kas.a_hat, ringva);
hat_release_mapping(kas.a_hat, ring->xr_vaddr);
extern void hat_release_mapping(hat_t *, caddr_t);