Searched refs:SENDER_VCPU_ID (Results 1 – 1 of 1) sorted by relevance
43 #define SENDER_VCPU_ID 1 macro428 vm_vcpu_add_default(vm, SENDER_VCPU_ID, sender_guest_code); in main()438 vcpu_args_set(vm, SENDER_VCPU_ID, 1, test_data_page_vaddr); in main()465 params[1].vcpu_id = SENDER_VCPU_ID; in main()482 cancel_join_vcpu_thread(threads[1], SENDER_VCPU_ID); in main()
