enter_exception64
enter_exception64(vcpu, PSR_MODE_EL1h, except_type_sync);
enter_exception64(vcpu, PSR_MODE_EL1h, except_type_serror);
enter_exception64(vcpu, PSR_MODE_EL2h, except_type_sync);
enter_exception64(vcpu, PSR_MODE_EL2h, except_type_irq);
enter_exception64(vcpu, PSR_MODE_EL2h, except_type_serror);