43 static void guest_code(void)  in guest_code()  function
65 	v.vm = vm_create_default_with_vcpus(NR_VCPUS, 0, 0, guest_code, NULL);  in vm_gic_create()
257 	v.vm = vm_create_default(0, 0, guest_code);  in test_vgic_then_vcpus()
264 		vm_vcpu_add_default(v.vm, i, guest_code);  in test_vgic_then_vcpus()
348 	v.vm = vm_create_default(0, 0, guest_code);  in test_typer_accesses()
352 	vm_vcpu_add_default(v.vm, 3, guest_code);  in test_typer_accesses()
357 	vm_vcpu_add_default(v.vm, 1, guest_code);  in test_typer_accesses()
362 	vm_vcpu_add_default(v.vm, 2, guest_code);  in test_typer_accesses()
428 	v.vm = vm_create_default_with_vcpus(6, 0, 0, guest_code, vcpuids);  in test_last_bit_redist_regions()
477 	v.vm = vm_create_default_with_vcpus(6, 0, 0, guest_code, vcpuids);  in test_last_bit_single_rdist()
511 	v.vm = vm_create_default_with_vcpus(NR_VCPUS, 0, 0, guest_code, NULL);  in test_kvm_device()