Searched refs:exp_page (Results 1 – 1 of 1) sorted by relevance
77 void *exp_page = (void *)data->test_pages + PAGE_SIZE * NTEST_PAGES; in worker_guest_code() local78 u64 *this_cpu = (u64 *)(exp_page + vcpu_id * sizeof(u64)); in worker_guest_code()129 void *exp_page = addr + PAGE_SIZE * NTEST_PAGES; in set_expected_val() local131 *(u64 *)(exp_page + vcpu_id * sizeof(u64)) = val; in set_expected_val()