Lines Matching refs:TEST_ASSERT
60 TEST_ASSERT(ret == 0, "vcpu_run failed: %d\n", ret); in vcpu_worker()
62 TEST_ASSERT(false, in vcpu_worker()
174 TEST_ASSERT(r == 1, in uffd_handler_thread_fn()
237 TEST_ASSERT(alias != NULL, "Alias required for minor faults"); in setup_demand_paging()
245 TEST_ASSERT(uffd >= 0, "uffd creation failed, errno: %d", errno); in setup_demand_paging()
249 TEST_ASSERT(ioctl(uffd, UFFDIO_API, &uffdio_api) != -1, in setup_demand_paging()
256 TEST_ASSERT(ioctl(uffd, UFFDIO_REGISTER, &uffdio_register) != -1, in setup_demand_paging()
258 TEST_ASSERT((uffdio_register.ioctls & expected_ioctls) == in setup_demand_paging()
297 TEST_ASSERT(guest_data_prototype, in run_test()
304 TEST_ASSERT(uffd_handler_threads, "Memory allocation failed"); in run_test()
307 TEST_ASSERT(uffd_args, "Memory allocation failed"); in run_test()
310 TEST_ASSERT(pipefds, "Unable to allocate memory for pipefd"); in run_test()
329 TEST_ASSERT(!r, "Failed to set up pipefd"); in run_test()
355 TEST_ASSERT(r == 1, "Unable to write to pipefd"); in run_test()
420 TEST_ASSERT(p.uffd_mode, "UFFD mode must be 'MISSING' or 'MINOR'."); in main()
424 TEST_ASSERT(p.uffd_delay >= 0, "A negative UFFD delay is not supported."); in main()
434 TEST_ASSERT(nr_vcpus > 0 && nr_vcpus <= max_vcpus, in main()