run_guest
void run_guest(struct vmcb *vmcb, uint64_t vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
pthread_create(&thread, NULL, run_guest, &t.vcpu);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(svm->vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest(vmcb, svm->vmcb_gpa);
run_guest();