Searched refs:__vgic_v3_restore_state (Results 1 – 4 of 4) sorted by relevance
61 void __vgic_v3_restore_state(struct vgic_v3_cpu_if *cpu_if);
149 __vgic_v3_restore_state(&vcpu->arch.vgic_cpu.vgic_v3); in __hyp_vgic_restore_state()
886 __vgic_v3_restore_state(&vcpu->arch.vgic_cpu.vgic_v3); in vgic_restore_state()
234 void __vgic_v3_restore_state(struct vgic_v3_cpu_if *cpu_if) in __vgic_v3_restore_state() function