___activate_traps
___activate_traps(vcpu, vcpu->arch.hcr_el2);
___activate_traps(vcpu, __compute_hcr(vcpu));