FAKE_TRIPLE_FAULT_VECTOR
svm_run_l2(svm, l2_ss_injected_tf_test, FAKE_TRIPLE_FAULT_VECTOR, 0);
if (vector == FAKE_TRIPLE_FAULT_VECTOR)
vmx_run_l2(l2_ss_injected_tf_test, FAKE_TRIPLE_FAULT_VECTOR, 0);
assert_ucall_vector(vcpu, FAKE_TRIPLE_FAULT_VECTOR);
GUEST_SYNC(FAKE_TRIPLE_FAULT_VECTOR);
if (vector == FAKE_TRIPLE_FAULT_VECTOR)