vgic_ich_hcr_trap_bits
return cpu_if->vgic_hcr | vgic_ich_hcr_trap_bits();
write_gicreg(vgic_ich_hcr_trap_bits() | ICH_HCR_EL2_En, ICH_HCR_EL2);
write_sysreg_s(val | vgic_ich_hcr_trap_bits(), SYS_ICH_HCR_EL2);
u64 traps = vgic_ich_hcr_trap_bits();