Lines Matching defs:guest_code
59 static void guest_code(void)
80 v.vm = vm_create_with_vcpus(nr_vcpus, guest_code, vcpus);
346 vcpus[i] = vm_vcpu_add(v.vm, i, guest_code);
466 (void)vm_vcpu_add(v.vm, 0, guest_code);
470 (void)vm_vcpu_add(v.vm, 3, guest_code);
475 (void)vm_vcpu_add(v.vm, 1, guest_code);
480 (void)vm_vcpu_add(v.vm, 2, guest_code);
527 vm_vcpu_add(v.vm, vcpuids[i], guest_code);
623 vcpus[i] = vm_vcpu_add(v.vm, i, guest_code);
688 v.vm = vm_create_with_vcpus(NR_VCPUS, guest_code, vcpus);