Lines Matching defs:guest_code
60 static void guest_code(void)
81 v.vm = vm_create_with_vcpus(nr_vcpus, guest_code, vcpus);
347 vcpus[i] = vm_vcpu_add(v.vm, i, guest_code);
467 (void)vm_vcpu_add(v.vm, 0, guest_code);
471 (void)vm_vcpu_add(v.vm, 3, guest_code);
476 (void)vm_vcpu_add(v.vm, 1, guest_code);
481 (void)vm_vcpu_add(v.vm, 2, guest_code);
528 vm_vcpu_add(v.vm, vcpuids[i], guest_code);
624 vcpus[i] = vm_vcpu_add(v.vm, i, guest_code);
727 v.vm = vm_create_with_vcpus(NR_VCPUS, guest_code, vcpus);