vgic_v5_cpu_if
void __vgic_v5_save_apr(struct vgic_v5_cpu_if *cpu_if);
void __vgic_v5_restore_vmcr_apr(struct vgic_v5_cpu_if *cpu_if);
void __vgic_v5_save_ppi_state(struct vgic_v5_cpu_if *cpu_if);
void __vgic_v5_restore_ppi_state(struct vgic_v5_cpu_if *cpu_if);
void __vgic_v5_save_state(struct vgic_v5_cpu_if *cpu_if);
void __vgic_v5_restore_state(struct vgic_v5_cpu_if *cpu_if);
DECLARE_REG(struct vgic_v5_cpu_if *, cpu_if, host_ctxt, 1);
DECLARE_REG(struct vgic_v5_cpu_if *, cpu_if, host_ctxt, 1);
void __vgic_v5_save_apr(struct vgic_v5_cpu_if *cpu_if)
void __vgic_v5_save_state(struct vgic_v5_cpu_if *cpu_if)
void __vgic_v5_restore_state(struct vgic_v5_cpu_if *cpu_if)
void __vgic_v5_restore_vmcr_apr(struct vgic_v5_cpu_if *cpu_if)
void __vgic_v5_save_ppi_state(struct vgic_v5_cpu_if *cpu_if)
void __vgic_v5_restore_ppi_state(struct vgic_v5_cpu_if *cpu_if)
struct vgic_v5_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v5;
struct vgic_v5_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v5;
struct vgic_v5_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v5;
struct vgic_v5_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v5;
struct vgic_v5_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v5;
struct vgic_v5_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v5;
struct vgic_v5_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v5;
struct vgic_v5_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v5;
struct vgic_v5_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v5;
struct vgic_v5_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v5;
struct vgic_v5_cpu_if *cpu_if = &vcpu->arch.vgic_cpu.vgic_v5;
struct vgic_v5_cpu_if vgic_v5;