Symbol: vgic_data_host_to_mmio_bus
arch/arm64/kvm/vgic/vgic-mmio.c
1042
vgic_data_host_to_mmio_bus(val, len, data);
arch/arm64/kvm/vgic/vgic-mmio.h
103
void vgic_data_host_to_mmio_bus(void *buf, unsigned int len,