EXCEPT_AA64_EL1_SYNC
case unpack_vcpu_flag(EXCEPT_AA64_EL1_SYNC):
kvm_pend_exception(vcpu, EXCEPT_AA64_EL1_SYNC);
kvm_pend_exception(vcpu, EXCEPT_AA64_EL1_SYNC);
case unpack_vcpu_flag(EXCEPT_AA64_EL1_SYNC):