Searched refs:HALTER_VCPU_ID (Results 1 – 1 of 1) sorted by relevance
42 #define HALTER_VCPU_ID 0 macro418 vm = vm_create_default(HALTER_VCPU_ID, 0, halter_guest_code); in main()423 vcpu_init_descriptor_tables(vm, HALTER_VCPU_ID); in main()437 vcpu_args_set(vm, HALTER_VCPU_ID, 1, test_data_page_vaddr); in main()445 params[0].vcpu_id = HALTER_VCPU_ID; in main()481 cancel_join_vcpu_thread(threads[0], HALTER_VCPU_ID); in main()
