Searched refs:guest_code_user_operexec (Results 1 – 1 of 1) sorted by relevance
40 static void guest_code_user_operexec(void) in guest_code_user_operexec() function51 vm = vm_create_with_one_vcpu(&vcpu, guest_code_user_operexec); in test_user_operexec()85 vm = vm_create_with_one_vcpu(&vcpu, guest_code_user_operexec); in test_user_operexec_combined()99 vm = vm_create_with_one_vcpu(&vcpu, guest_code_user_operexec); in test_user_operexec_combined()162 vcpu = vm_vcpu_add(vm, 0, guest_code_user_operexec); in test_user_operexec_no_stfle_74()208 vcpu = vm_vcpu_add(vm, 0, guest_code_user_operexec); in test_operexec_combined_no_stfle_74()