Searched refs:vgic_init_maintenance_interrupt (Results 1 – 1 of 1) sorted by relevance
2064 static void vgic_init_maintenance_interrupt(void *info) in vgic_init_maintenance_interrupt() function2075 vgic_init_maintenance_interrupt(NULL); in vgic_cpu_notify()2134 on_each_cpu(vgic_init_maintenance_interrupt, NULL, 1); in kvm_vgic_hyp_init()