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