Searched refs:WORKER_VCPU_ID_2 (Results 1 – 1 of 1) sorted by relevance
19 #define WORKER_VCPU_ID_2 65 macro166 set_expected_val((void *)data->test_pages, 0x0, WORKER_VCPU_ID_2); in prepare_to_test()189 set_expected_val((void *)data->test_pages, exp2, WORKER_VCPU_ID_2); in post_test()273 flush_ex->hv_vp_set.valid_bank_mask = BIT_ULL(WORKER_VCPU_ID_2 / 64); in sender_guest_code()274 flush_ex->hv_vp_set.bank_contents[0] = BIT_ULL(WORKER_VCPU_ID_2 % 64); in sender_guest_code()288 flush_ex->hv_vp_set.valid_bank_mask = BIT_ULL(WORKER_VCPU_ID_2 / 64); in sender_guest_code()289 flush_ex->hv_vp_set.bank_contents[0] = BIT_ULL(WORKER_VCPU_ID_2 % 64); in sender_guest_code()306 flush_ex->hv_vp_set.valid_bank_mask = BIT_ULL(WORKER_VCPU_ID_2 / 64) | in sender_guest_code()309 flush_ex->hv_vp_set.bank_contents[1] = BIT_ULL(WORKER_VCPU_ID_2 % 64); in sender_guest_code()325 BIT_ULL(WORKER_VCPU_ID_2 / 64); in sender_guest_code()[all …]