Lines Matching refs:TEST_ASSERT
61 TEST_ASSERT(ret == 0, "vcpu_run failed: %d\n", ret); in vcpu_worker()
63 TEST_ASSERT(false, in vcpu_worker()
177 TEST_ASSERT(r == 1, in uffd_handler_thread_fn()
240 TEST_ASSERT(alias != NULL, "Alias required for minor faults"); in setup_demand_paging()
248 TEST_ASSERT(uffd >= 0, "uffd creation failed, errno: %d", errno); in setup_demand_paging()
252 TEST_ASSERT(ioctl(uffd, UFFDIO_API, &uffdio_api) != -1, in setup_demand_paging()
259 TEST_ASSERT(ioctl(uffd, UFFDIO_REGISTER, &uffdio_register) != -1, in setup_demand_paging()
261 TEST_ASSERT((uffdio_register.ioctls & expected_ioctls) == in setup_demand_paging()
303 TEST_ASSERT(guest_data_prototype, in run_test()
308 TEST_ASSERT(vcpu_threads, "Memory allocation failed"); in run_test()
316 TEST_ASSERT(uffd_handler_threads, "Memory allocation failed"); in run_test()
319 TEST_ASSERT(uffd_args, "Memory allocation failed"); in run_test()
322 TEST_ASSERT(pipefds, "Unable to allocate memory for pipefd"); in run_test()
352 TEST_ASSERT(!r, "Failed to set up pipefd"); in run_test()
392 TEST_ASSERT(r == 1, "Unable to write to pipefd"); in run_test()
458 TEST_ASSERT(p.uffd_mode, "UFFD mode must be 'MISSING' or 'MINOR'."); in main()
462 TEST_ASSERT(p.uffd_delay >= 0, "A negative UFFD delay is not supported."); in main()
472 TEST_ASSERT(nr_vcpus > 0 && nr_vcpus <= max_vcpus, in main()