KVM_EXIT_ARM_SEA
run->exit_reason = KVM_EXIT_ARM_SEA;
TEST_ASSERT_KVM_EXIT_REASON(vcpu, KVM_EXIT_ARM_SEA);