Searched refs:guest_data_prototype (Results 1 – 1 of 1) sorted by relevance
30 static char *guest_data_prototype; variable71 copy.src = (uint64_t)guest_data_prototype; in handle_uffd_page_request()148 guest_data_prototype, demand_paging_size); in prefault_mem()169 guest_data_prototype = malloc(demand_paging_size); in run_test()170 TEST_ASSERT(guest_data_prototype, in run_test()172 memset(guest_data_prototype, 0xAB, demand_paging_size); in run_test()237 free(guest_data_prototype); in run_test()