/*
 * Copyright (c) 2022 Meta
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#include "_common.h"

#ifdef CONFIG_POSIX_API
#include <sys/eventfd.h>
#else
#include <zephyr/posix/sys/eventfd.h>
#endif

/**
 * @brief existence test for `<sys/eventfd.h>`
 *
 * @note the eventfd API is not (yet) a part of POSIX.
 *
 * @see <a href="https://man7.org/linux/man-pages/man2/eventfd.2.html">sys/eventfd.h</a>
 */
ZTEST(posix_headers, test_sys_eventfd_h)
{
	/* zassert_not_equal(-1, EFD_CLOEXEC); */ /* not implemented */
	zassert_not_equal(-1, EFD_NONBLOCK);
	zassert_not_equal(-1, EFD_SEMAPHORE);

	zassert_not_equal((eventfd_t)-1, (eventfd_t)0);

	if (IS_ENABLED(CONFIG_POSIX_API)) {
		zassert_not_null(eventfd);
		zassert_not_null(eventfd_read);
		zassert_not_null(eventfd_write);
	}
}