set_expected_val
set_expected_val((void *)data->test_pages, 0x0, WORKER_VCPU_ID_1);
set_expected_val((void *)data->test_pages, 0x0, WORKER_VCPU_ID_2);
set_expected_val((void *)data->test_pages, exp1, WORKER_VCPU_ID_1);
set_expected_val((void *)data->test_pages, exp2, WORKER_VCPU_ID_2);
set_expected_val(addr_gva2hva(vm, data->test_pages), 0x0, WORKER_VCPU_ID_1);
set_expected_val(addr_gva2hva(vm, data->test_pages), 0x0, WORKER_VCPU_ID_2);