Searched refs:uffd_delay (Results 1 – 1 of 1) sorted by relevance
220 int uffd_mode, useconds_t uffd_delay, in setup_demand_paging() argument267 uffd_args->delay = uffd_delay; in setup_demand_paging()277 useconds_t uffd_delay; member356 p->uffd_delay, &uffd_args[vcpu_id], in run_test()461 p.uffd_delay = strtoul(optarg, NULL, 0); in main()462 TEST_ASSERT(p.uffd_delay >= 0, "A negative UFFD delay is not supported."); in main()
