Lines Matching refs:TEST_ASSERT
58 TEST_ASSERT(ret == 0, "vcpu_run failed: %d\n", ret); in vcpu_worker()
60 TEST_ASSERT(false, in vcpu_worker()
172 TEST_ASSERT(r == 1, in uffd_handler_thread_fn()
236 TEST_ASSERT(alias != NULL, "Alias required for minor faults"); in setup_demand_paging()
244 TEST_ASSERT(uffd >= 0, __KVM_SYSCALL_ERROR("userfaultfd()", uffd)); in setup_demand_paging()
249 TEST_ASSERT(ret != -1, __KVM_SYSCALL_ERROR("UFFDIO_API", ret)); in setup_demand_paging()
255 TEST_ASSERT(ret != -1, __KVM_SYSCALL_ERROR("UFFDIO_REGISTER", ret)); in setup_demand_paging()
256 TEST_ASSERT((uffdio_register.ioctls & expected_ioctls) == in setup_demand_paging()
294 TEST_ASSERT(guest_data_prototype, in run_test()
301 TEST_ASSERT(uffd_handler_threads, "Memory allocation failed"); in run_test()
304 TEST_ASSERT(uffd_args, "Memory allocation failed"); in run_test()
307 TEST_ASSERT(pipefds, "Unable to allocate memory for pipefd"); in run_test()
326 TEST_ASSERT(!r, "Failed to set up pipefd"); in run_test()
352 TEST_ASSERT(r == 1, "Unable to write to pipefd"); in run_test()
417 TEST_ASSERT(p.uffd_mode, "UFFD mode must be 'MISSING' or 'MINOR'."); in main()
421 TEST_ASSERT(p.uffd_delay >= 0, "A negative UFFD delay is not supported."); in main()
431 TEST_ASSERT(nr_vcpus > 0 && nr_vcpus <= max_vcpus, in main()