__vgic_v3_activate_traps
void __vgic_v3_activate_traps(struct vgic_v3_cpu_if *cpu_if);
__vgic_v3_activate_traps(&vcpu->arch.vgic_cpu.vgic_v3);
__vgic_v3_activate_traps(cpu_if);
__vgic_v3_activate_traps(cpu_if);
__vgic_v3_activate_traps(&vcpu->arch.vgic_cpu.vgic_v3);