Searched refs:WORKER_VCPU_ID_2 (Results 1 – 1 of 1) sorted by relevance
21 #define WORKER_VCPU_ID_2 65 macro168 set_expected_val((void *)data->test_pages, 0x0, WORKER_VCPU_ID_2); in prepare_to_test()191 set_expected_val((void *)data->test_pages, exp2, WORKER_VCPU_ID_2); in post_test()275 flush_ex->hv_vp_set.valid_bank_mask = BIT_ULL(WORKER_VCPU_ID_2 / 64); in sender_guest_code()276 flush_ex->hv_vp_set.bank_contents[0] = BIT_ULL(WORKER_VCPU_ID_2 % 64); in sender_guest_code()290 flush_ex->hv_vp_set.valid_bank_mask = BIT_ULL(WORKER_VCPU_ID_2 / 64); in sender_guest_code()291 flush_ex->hv_vp_set.bank_contents[0] = BIT_ULL(WORKER_VCPU_ID_2 % 64); in sender_guest_code()327 BIT_ULL(WORKER_VCPU_ID_2 / 64); in sender_guest_code()489 BIT_ULL(WORKER_VCPU_ID_2 / 64); in sender_guest_code()641 vcpu[2] = vm_vcpu_add(vm, WORKER_VCPU_ID_2, worker_guest_code); in main()[all …]