__forward_traps
return __forward_traps(vcpu, HCR_EL2, control_bit);
return __forward_traps(vcpu, MDCR_EL2, control_bit);