Searched refs:__vgic_v3_read_vmcr (Results 1 – 2 of 2) sorted by relevance
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()