vgic_data_mmio_bus_to_host  890 virt/kvm/arm/vgic/vgic-mmio.c 	unsigned long data = vgic_data_mmio_bus_to_host(val, len);
vgic_data_mmio_bus_to_host  106 virt/kvm/arm/vgic/vgic-mmio.h unsigned long vgic_data_mmio_bus_to_host(const void *val, unsigned int len);