xen_unmap_device_mmio  100 drivers/xen/arm-device.c 	xen_unmap_device_mmio(resources, i);
xen_unmap_device_mmio  118 drivers/xen/arm-device.c 		r = xen_unmap_device_mmio(pdev->resource, pdev->num_resources);
xen_unmap_device_mmio  160 drivers/xen/arm-device.c 		r = xen_unmap_device_mmio(&adev->res, 1);