xenmem_free
xenmem_free(xbb->dev, xbb->pseudo_phys_res_id,
DEVMETHOD(xenmem_free, xenpv_free_physmem),
xenmem_free(gntdev_dev, gmap_start->map->pseudo_phys_res_id,
error = xenmem_free(gntdev_dev, gmap->map->pseudo_phys_res_id,
xenmem_free(xnb->dev, xnb->pseudo_phys_res_id,
error = xenmem_free(privcmd_dev, map->pseudo_phys_res_id,
xenmem_free(privcmd_dev, map->pseudo_phys_res_id,
int xenmem_free(device_t dev, int res_id, struct resource *res);