Searched refs:vgic_v2_init_lrs (Results 1 – 3 of 3) sorted by relevance
204 void vgic_v2_init_lrs(void);
475 vgic_v2_init_lrs(); in kvm_vgic_init_cpu_hardware()
32 void vgic_v2_init_lrs(void) in vgic_v2_init_lrs() function
