Searched refs:vgic_data_host_to_mmio_bus (Results 1 – 2 of 2) sorted by relevance
108 void vgic_data_host_to_mmio_bus(void *buf, unsigned int len,
702 void vgic_data_host_to_mmio_bus(void *buf, unsigned int len, in vgic_data_host_to_mmio_bus() function853 vgic_data_host_to_mmio_bus(val, len, data); in dispatch_mmio_read()
