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()310 flush_ex->hv_vp_set.bank_contents[0] = BIT_ULL(WORKER_VCPU_ID_1 % 64); in sender_guest_code()326 flush_ex->hv_vp_set.valid_bank_mask = BIT_ULL(WORKER_VCPU_ID_1 / 64) | in sender_guest_code()328 flush_ex->hv_vp_set.bank_contents[0] = BIT_ULL(WORKER_VCPU_ID_1 % 64); in sender_guest_code()375 flush->processor_mask = BIT(WORKER_VCPU_ID_1); in sender_guest_code()[all …]