Searched refs:__vgic_v3_read_vmcr (Results 1 – 4 of 4) sorted by relevance
71 extern u64 __vgic_v3_read_vmcr(void);
72 extern u64 __vgic_v3_read_vmcr(void);
424 u64 __hyp_text __vgic_v3_read_vmcr(void) in __vgic_v3_read_vmcr() function1121 vmcr = __vgic_v3_read_vmcr(); in __vgic_v3_perform_cpuif_access()
674 cpu_if->vgic_vmcr = kvm_call_hyp_ret(__vgic_v3_read_vmcr); in vgic_v3_vmcr_sync()
