Searched refs:guest_code_instr0 (Results 1 – 1 of 1) sorted by relevance
17 static void guest_code_instr0(void) in guest_code_instr0() function28 vm = vm_create_with_one_vcpu(&vcpu, guest_code_instr0); in test_user_instr0()66 vm = vm_create_with_one_vcpu(&vcpu, guest_code_instr0); in test_user_operexec()141 vcpu = vm_vcpu_add(vm, 0, guest_code_instr0); in test_user_instr0_no_stfle_74()185 vcpu = vm_vcpu_add(vm, 0, guest_code_instr0); in test_instr0_combined_no_stfle_74()