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