except_type_sync
{ except_type_sync, "SYNC" }, \
case except_type_sync:
return kvm_inject_nested(vcpu, esr_el2, except_type_sync);
enter_exception64(vcpu, PSR_MODE_EL1h, except_type_sync);
enter_exception64(vcpu, PSR_MODE_EL2h, except_type_sync);
offset = CURRENT_EL_SP_ELx_VECTOR + except_type_sync;