Searched refs:worker_guest_code (Results 1 – 1 of 1) sorted by relevance
73 static void worker_guest_code(vm_vaddr_t test_data) in worker_guest_code() function636 vcpu[1] = vm_vcpu_add(vm, WORKER_VCPU_ID_1, worker_guest_code); in main()641 vcpu[2] = vm_vcpu_add(vm, WORKER_VCPU_ID_2, worker_guest_code); in main()