vgic_data_host_to_mmio_bus  881 virt/kvm/arm/vgic/vgic-mmio.c 	vgic_data_host_to_mmio_bus(val, len, data);
vgic_data_host_to_mmio_bus  108 virt/kvm/arm/vgic/vgic-mmio.h void vgic_data_host_to_mmio_bus(void *buf, unsigned int len,