Searched refs:vgic_v2_init_lrs (Results 1 – 3 of 3) sorted by relevance
202 void vgic_v2_init_lrs(void);
516 vgic_v2_init_lrs(); in kvm_vgic_init_cpu_hardware()
21 void vgic_v2_init_lrs(void) in vgic_v2_init_lrs() function