Searched refs:WORKER_VCPU_ID_1 (Results 1 – 1 of 1) sorted by relevance
20 #define WORKER_VCPU_ID_1 2 macro167 set_expected_val((void *)data->test_pages, 0x0, WORKER_VCPU_ID_1); in prepare_to_test()190 set_expected_val((void *)data->test_pages, exp1, WORKER_VCPU_ID_1); in post_test()220 flush->processor_mask = BIT(WORKER_VCPU_ID_1); in sender_guest_code()232 flush->processor_mask = BIT(WORKER_VCPU_ID_1); in sender_guest_code()309 BIT_ULL(WORKER_VCPU_ID_1 / 64); in sender_guest_code()375 flush->processor_mask = BIT(WORKER_VCPU_ID_1); in sender_guest_code()388 flush->processor_mask = BIT(WORKER_VCPU_ID_1); in sender_guest_code()470 BIT_ULL(WORKER_VCPU_ID_1 / 64); in sender_guest_code()636 vcpu[1] = vm_vcpu_add(vm, WORKER_VCPU_ID_1, worker_guest_code); in main()[all …]