xen_map_device_mmio  115 drivers/xen/arm-device.c 		r = xen_map_device_mmio(pdev->resource, pdev->num_resources);
xen_map_device_mmio  157 drivers/xen/arm-device.c 		r = xen_map_device_mmio(&adev->res, 1);