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);
u64 sctlr, spsr_el1, spsr_el2, exc_offset = except_type_sync;