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