1 /*
2  * Copyright (c) 2022 Meta
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include "_common.h"
8 
9 #ifdef CONFIG_POSIX_API
10 #include <unistd.h>
11 #else
12 #include <zephyr/posix/unistd.h>
13 #endif
14 
15 /**
16  * @brief existence test for `<unistd.h>`
17  *
18  * @see <a href="https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/unistd.h.html">unistd.h</a>
19  */
ZTEST(posix_headers,test_unistd_h)20 ZTEST(posix_headers, test_unistd_h)
21 {
22 	/* zassert_not_equal(-1, _POSIX_VERSION); */ /* not implemented */
23 	/* zassert_not_equal(-1, _POSIX2_VERSION); */ /* not implemented */
24 	/* zassert_not_equal(-1, _XOPEN_VERSION); */ /* not implemented */
25 
26 	/* zassert_not_equal(INT_MIN, _POSIX_ADVISORY_INFO); */ /* not implemented */
27 	/* zassert_not_equal(INT_MIN, _POSIX_ASYNCHRONOUS_IO); */ /* not implemented */
28 	/* zassert_not_equal(INT_MIN, _POSIX_BARRIERS); */ /* not implemented */
29 	/* zassert_not_equal(INT_MIN, _POSIX_CHOWN_RESTRICTED); */ /* not implemented */
30 	/* zassert_not_equal(INT_MIN, _POSIX_CPUTIME); */ /* not implemented */
31 	/* zassert_not_equal(INT_MIN, _POSIX_FSYNC); */ /* not implemented */
32 	/* zassert_not_equal(INT_MIN, _POSIX_IPV6); */ /* not implemented */
33 	/* zassert_not_equal(INT_MIN, _POSIX_JOB_CONTROL); */ /* not implemented */
34 	/* zassert_not_equal(INT_MIN, _POSIX_MAPPED_FILES); */ /* not implemented */
35 	/* zassert_not_equal(INT_MIN, _POSIX_MEMLOCK); */ /* not implemented */
36 	/* zassert_not_equal(INT_MIN, _POSIX_MEMLOCK_RANGE); */ /* not implemented */
37 	/* zassert_not_equal(INT_MIN, _POSIX_MEMORY_PROTECTION); */ /* not implemented */
38 	/* zassert_not_equal(INT_MIN, _POSIX_MESSAGE_PASSING); */ /* not implemented */
39 	/* zassert_not_equal(INT_MIN, _POSIX_MONOTONIC_CLOCK); */ /* not implemented */
40 	/* zassert_not_equal(INT_MIN, _POSIX_NO_TRUNC); */ /* not implemented */
41 	/* zassert_not_equal(INT_MIN, _POSIX_PRIORITIZED_IO); */ /* not implemented */
42 	/* zassert_not_equal(INT_MIN, _POSIX_PRIORITY_SCHEDULING); */ /* not implemented */
43 	/* zassert_not_equal(INT_MIN, _POSIX_RAW_SOCKETS); */ /* not implemented */
44 	/* zassert_not_equal(INT_MIN, _POSIX_READER_WRITER_LOCKS); */ /* not implemented */
45 	/* zassert_not_equal(INT_MIN, _POSIX_REALTIME_SIGNALS); */ /* not implemented */
46 	/* zassert_not_equal(INT_MIN, _POSIX_REGEXP); */ /* not implemented */
47 	/* zassert_not_equal(INT_MIN, _POSIX_SAVED_IDS); */ /* not implemented */
48 	/* zassert_not_equal(INT_MIN, _POSIX_SHARED_MEMORY_OBJECTS); */ /* not implemented */
49 	/* zassert_not_equal(INT_MIN, _POSIX_SHELL); */ /* not implemented */
50 	/* zassert_not_equal(INT_MIN, _POSIX_SPAWN); */ /* not implemented */
51 	/* zassert_not_equal(INT_MIN, _POSIX_SPIN_LOCKS); */ /* not implemented */
52 	/* zassert_not_equal(INT_MIN, _POSIX_SPORADIC_SERVER); */ /* not implemented */
53 	/* zassert_not_equal(INT_MIN, _POSIX_SYNCHRONIZED_IO); */ /* not implemented */
54 	/* zassert_not_equal(INT_MIN, _POSIX_THREAD_ATTR_STACKADDR); */ /* not implemented */
55 	/* zassert_not_equal(INT_MIN, _POSIX_THREAD_ATTR_STACKSIZE); */ /* not implemented */
56 	/* zassert_not_equal(INT_MIN, _POSIX_THREAD_CPUTIME); */ /* not implemented */
57 	/* zassert_not_equal(INT_MIN, _POSIX_THREAD_PRIO_INHERIT); */ /* not implemented */
58 	/* zassert_not_equal(INT_MIN, _POSIX_THREAD_PRIO_PROTECT); */ /* not implemented */
59 	/* zassert_not_equal(INT_MIN, _POSIX_THREAD_PRIORITY_SCHEDULING); */ /* not implemented */
60 	/* zassert_not_equal(INT_MIN, _POSIX_THREAD_PROCESS_SHARED); */ /* not implemented */
61 	/* zassert_not_equal(INT_MIN, _POSIX_THREAD_ROBUST_PRIO_INHERIT); */ /* not implemented */
62 	/* zassert_not_equal(INT_MIN, _POSIX_THREAD_ROBUST_PRIO_PROTECT); */ /* not implemented */
63 	/* zassert_not_equal(INT_MIN, _POSIX_THREAD_SAFE_FUNCTIONS); */ /* not implemented */
64 	/* zassert_not_equal(INT_MIN, _POSIX_THREAD_SPORADIC_SERVER); */ /* not implemented */
65 	/* zassert_not_equal(INT_MIN, _POSIX_THREADS); */ /* not implemented */
66 	/* zassert_not_equal(INT_MIN, _POSIX_TIMEOUTS); */ /* not implemented */
67 	/* zassert_not_equal(INT_MIN, _POSIX_TIMERS); */ /* not implemented */
68 	/* zassert_not_equal(INT_MIN, _POSIX_TRACE); */ /* not implemented */
69 	/* zassert_not_equal(INT_MIN, _POSIX_TRACE_EVENT_FILTER); */ /* not implemented */
70 	/* zassert_not_equal(INT_MIN, _POSIX_TRACE_INHERIT); */ /* not implemented */
71 	/* zassert_not_equal(INT_MIN, _POSIX_TRACE_LOG); */ /* not implemented */
72 	/* zassert_not_equal(INT_MIN, _POSIX_TYPED_MEMORY_OBJECTS); */ /* not implemented */
73 
74 	/* zassert_not_equal(INT_MIN, _POSIX_V6_ILP32_OFF32); */ /* not implemented */
75 	/* zassert_not_equal(INT_MIN, _POSIX_V6_ILP32_OFFBIG); */ /* not implemented */
76 	/* zassert_not_equal(INT_MIN, _POSIX_V6_LP64_OFF64); */ /* not implemented */
77 	/* zassert_not_equal(INT_MIN, _POSIX_V6_LPBIG_OFFBIG); */ /* not implemented */
78 
79 	/* zassert_not_equal(INT_MIN, _POSIX_V7_ILP32_OFF32); */ /* not implemented */
80 	/* zassert_not_equal(INT_MIN, _POSIX_V7_ILP32_OFFBIG); */ /* not implemented */
81 	/* zassert_not_equal(INT_MIN, _POSIX_V7_LP64_OFF64); */ /* not implemented */
82 	/* zassert_not_equal(INT_MIN, _POSIX_V7_LPBIG_OFFBIG); */ /* not implemented */
83 
84 	/* zassert_not_equal(INT_MIN, _POSIX2_C_BIND); */ /* not implemented */
85 	/* zassert_not_equal(INT_MIN, _POSIX2_C_DEV); */ /* not implemented */
86 	/* zassert_not_equal(INT_MIN, _POSIX2_CHAR_TERM); */ /* not implemented */
87 	/* zassert_not_equal(INT_MIN, _POSIX2_FORT_DEV); */ /* not implemented */
88 	/* zassert_not_equal(INT_MIN, _POSIX2_FORT_RUN); */ /* not implemented */
89 	/* zassert_not_equal(INT_MIN, _POSIX2_LOCALEDEF); */ /* not implemented */
90 	/* zassert_not_equal(INT_MIN, _POSIX2_PBS); */ /* not implemented */
91 	/* zassert_not_equal(INT_MIN, _POSIX2_PBS_ACCOUNTING); */ /* not implemented */
92 	/* zassert_not_equal(INT_MIN, _POSIX2_PBS_CHECKPOINT); */ /* not implemented */
93 	/* zassert_not_equal(INT_MIN, _POSIX2_PBS_LOCATE); */ /* not implemented */
94 	/* zassert_not_equal(INT_MIN, _POSIX2_PBS_MESSAGE); */ /* not implemented */
95 	/* zassert_not_equal(INT_MIN, _POSIX2_PBS_TRACK); */ /* not implemented */
96 	/* zassert_not_equal(INT_MIN, _POSIX2_SW_DEV); */ /* not implemented */
97 	/* zassert_not_equal(INT_MIN, _POSIX2_UPE); */ /* not implemented */
98 
99 	/* zassert_not_equal(INT_MIN, _XOPEN_CRYPT); */ /* not implemented */
100 	/* zassert_not_equal(INT_MIN, _XOPEN_ENH_I18N); */ /* not implemented */
101 	/* zassert_not_equal(INT_MIN, _XOPEN_REALTIME); */ /* not implemented */
102 	/* zassert_not_equal(INT_MIN, _XOPEN_REALTIME_THREADS); */ /* not implemented */
103 	/* zassert_not_equal(INT_MIN, _XOPEN_SHM); */ /* not implemented */
104 	/* zassert_not_equal(INT_MIN, _XOPEN_STREAMS); */ /* not implemented */
105 	/* zassert_not_equal(INT_MIN, _XOPEN_UNIX); */ /* not implemented */
106 	/* zassert_not_equal(INT_MIN, _XOPEN_UUCP); */ /* not implemented */
107 
108 	/* zassert_not_equal(INT_MIN, _POSIX_ASYNC_IO); */ /* not implemented */
109 	/* zassert_not_equal(INT_MIN, _POSIX_PRIO_IO); */ /* not implemented */
110 	/* zassert_not_equal(INT_MIN, _POSIX_SYNC_IO); */ /* not implemented */
111 
112 	/* zassert_not_equal(-1, _POSIX_TIMESTAMP_RESOLUTION); */ /* not implemented */
113 	/* zassert_not_equal(INT_MIN, _POSIX2_SYMLINKS); */ /* not implemented */
114 
115 	/* zassert_not_equal(-1, F_OK); */ /* not implemented */
116 	/* zassert_not_equal(-1, R_OK); */ /* not implemented */
117 	/* zassert_not_equal(-1, W_OK); */ /* not implemented */
118 	/* zassert_not_equal(-1, X_OK); */ /* not implemented */
119 
120 	/* zassert_not_equal(INT_MIN, _CS_PATH); */ /* not implemented */
121 
122 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_ILP32_OFF32_CFLAGS); */ /* not implemented */
123 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_ILP32_OFF32_LDFLAGS); */ /* not implemented */
124 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_ILP32_OFF32_LIBS); */ /* not implemented */
125 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_ILP32_OFFBIG_CFLAGS); */ /* not implemented */
126 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_ILP32_OFFBIG_LDFLAGS); */ /* not implemented */
127 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_ILP32_OFFBIG_LIBS); */ /* not implemented */
128 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_LP64_OFF64_CFLAGS); */ /* not implemented */
129 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_LP64_OFF64_LDFLAGS); */ /* not implemented */
130 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_LP64_OFF64_LIBS); */ /* not implemented */
131 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_LPBIG_OFFBIG_CFLAGS); */ /* not implemented */
132 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_LPBIG_OFFBIG_LDFLAGS); */ /* not implemented */
133 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_LPBIG_OFFBIG_LIBS); */ /* not implemented */
134 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_THREADS_CFLAGS); */ /* not implemented */
135 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_THREADS_LDFLAGS); */ /* not implemented */
136 	/* zassert_not_equal(INT_MIN, _CS_POSIX_V7_WIDTH_RESTRICTED_ENVS); */ /* not implemented */
137 	/* zassert_not_equal(INT_MIN, _CS_V7_ENV); */ /* not implemented */
138 
139 	/* zassert_not_equal(-1, F_LOCK); */ /* not implemented */
140 	/* zassert_not_equal(-1, F_TEST); */ /* not implemented */
141 	/* zassert_not_equal(-1, F_TLOCK); */ /* not implemented */
142 	/* zassert_not_equal(-1, F_ULOCK); */ /* not implemented */
143 
144 	/* zassert_not_equal(INT_MIN, _PC_2_SYMLINKS); */ /* not implemented */
145 	/* zassert_not_equal(INT_MIN, _PC_ALLOC_SIZE_MIN); */ /* not implemented */
146 	/* zassert_not_equal(INT_MIN, _PC_ASYNC_IO); */ /* not implemented */
147 	/* zassert_not_equal(INT_MIN, _PC_CHOWN_RESTRICTED); */ /* not implemented */
148 	/* zassert_not_equal(INT_MIN, _PC_FILESIZEBITS); */ /* not implemented */
149 	/* zassert_not_equal(INT_MIN, _PC_LINK_MAX); */ /* not implemented */
150 	/* zassert_not_equal(INT_MIN, _PC_MAX_CANON); */ /* not implemented */
151 	/* zassert_not_equal(INT_MIN, _PC_MAX_INPUT); */ /* not implemented */
152 	/* zassert_not_equal(INT_MIN, _PC_NAME_MAX); */ /* not implemented */
153 	/* zassert_not_equal(INT_MIN, _PC_NO_TRUNC); */ /* not implemented */
154 	/* zassert_not_equal(INT_MIN, _PC_PATH_MAX); */ /* not implemented */
155 	/* zassert_not_equal(INT_MIN, _PC_PIPE_BUF); */ /* not imp``lemented */
156 	/* zassert_not_equal(INT_MIN, _PC_PRIO_IO); */ /* not implemented */
157 	/* zassert_not_equal(INT_MIN, _PC_REC_INCR_XFER_SIZE); */ /* not implemented */
158 	/* zassert_not_equal(INT_MIN, _PC_REC_MAX_XFER_SIZE); */ /* not implemented */
159 	/* zassert_not_equal(INT_MIN, _PC_REC_MIN_XFER_SIZE); */ /* not implemented */
160 	/* zassert_not_equal(INT_MIN, _PC_REC_XFER_ALIGN); */ /* not implemented */
161 	/* zassert_not_equal(INT_MIN, _PC_SYMLINK_MAX); */ /* not implemented */
162 	/* zassert_not_equal(INT_MIN, _PC_SYNC_IO); */ /* not implemented */
163 	/* zassert_not_equal(INT_MIN, _PC_TIMESTAMP_RESOLUTION); */ /* not implemented */
164 	/* zassert_not_equal(INT_MIN, _PC_VDISABLE); */ /* not implemented */
165 
166 	/* zassert_not_equal(INT_MIN, _SC_2_C_BIND); */ /* not implemented */
167 	/* zassert_not_equal(INT_MIN, _SC_2_C_DEV); */ /* not implemented */
168 	/* zassert_not_equal(INT_MIN, _SC_2_CHAR_TERM); */ /* not implemented */
169 	/* zassert_not_equal(INT_MIN, _SC_2_FORT_DEV); */ /* not implemented */
170 	/* zassert_not_equal(INT_MIN, _SC_2_FORT_RUN); */ /* not implemented */
171 	/* zassert_not_equal(INT_MIN, _SC_2_LOCALEDEF); */ /* not implemented */
172 	/* zassert_not_equal(INT_MIN, _SC_2_PBS); */ /* not implemented */
173 	/* zassert_not_equal(INT_MIN, _SC_2_PBS_ACCOUNTING); */ /* not implemented */
174 	/* zassert_not_equal(INT_MIN, _SC_2_PBS_CHECKPOINT); */ /* not implemented */
175 	/* zassert_not_equal(INT_MIN, _SC_2_PBS_LOCATE); */ /* not implemented */
176 	/* zassert_not_equal(INT_MIN, _SC_2_PBS_MESSAGE); */ /* not implemented */
177 	/* zassert_not_equal(INT_MIN, _SC_2_PBS_TRACK); */ /* not implemented */
178 	/* zassert_not_equal(INT_MIN, _SC_2_SW_DEV); */ /* not implemented */
179 	/* zassert_not_equal(INT_MIN, _SC_2_UPE); */ /* not implemented */
180 	/* zassert_not_equal(INT_MIN, _SC_2_VERSION); */ /* not implemented */
181 	/* zassert_not_equal(INT_MIN, _SC_ADVISORY_INFO); */ /* not implemented */
182 	/* zassert_not_equal(INT_MIN, _SC_AIO_LISTIO_MAX); */ /* not implemented */
183 	/* zassert_not_equal(INT_MIN, _SC_AIO_MAX); */ /* not implemented */
184 	/* zassert_not_equal(INT_MIN, _SC_AIO_PRIO_DELTA_MAX); */ /* not implemented */
185 	/* zassert_not_equal(INT_MIN, _SC_ARG_MAX); */ /* not implemented */
186 	/* zassert_not_equal(INT_MIN, _SC_ASYNCHRONOUS_IO); */ /* not implemented */
187 	/* zassert_not_equal(INT_MIN, _SC_ATEXIT_MAX); */ /* not implemented */
188 	/* zassert_not_equal(INT_MIN, _SC_BARRIERS); */ /* not implemented */
189 	/* zassert_not_equal(INT_MIN, _SC_BC_BASE_MAX); */ /* not implemented */
190 	/* zassert_not_equal(INT_MIN, _SC_BC_DIM_MAX); */ /* not implemented */
191 	/* zassert_not_equal(INT_MIN, _SC_BC_SCALE_MAX); */ /* not implemented */
192 	/* zassert_not_equal(INT_MIN, _SC_BC_STRING_MAX); */ /* not implemented */
193 	/* zassert_not_equal(INT_MIN, _SC_CHILD_MAX); */ /* not implemented */
194 	/* zassert_not_equal(INT_MIN, _SC_CLK_TCK); */ /* not implemented */
195 	/* zassert_not_equal(INT_MIN, _SC_CLOCK_SELECTION); */ /* not implemented */
196 	/* zassert_not_equal(INT_MIN, _SC_COLL_WEIGHTS_MAX); */ /* not implemented */
197 	/* zassert_not_equal(INT_MIN, _SC_CPUTIME); */ /* not implemented */
198 	/* zassert_not_equal(INT_MIN, _SC_DELAYTIMER_MAX); */ /* not implemented */
199 	/* zassert_not_equal(INT_MIN, _SC_EXPR_NEST_MAX); */ /* not implemented */
200 	/* zassert_not_equal(INT_MIN, _SC_FSYNC); */ /* not implemented */
201 	/* zassert_not_equal(INT_MIN, _SC_GETGR_R_SIZE_MAX); */ /* not implemented */
202 	/* zassert_not_equal(INT_MIN, _SC_GETPW_R_SIZE_MAX); */ /* not implemented */
203 	/* zassert_not_equal(INT_MIN, _SC_HOST_NAME_MAX); */ /* not implemented */
204 	/* zassert_not_equal(INT_MIN, _SC_IOV_MAX); */ /* not implemented */
205 	/* zassert_not_equal(INT_MIN, _SC_IPV6); */ /* not implemented */
206 	/* zassert_not_equal(INT_MIN, _SC_JOB_CONTROL); */ /* not implemented */
207 	/* zassert_not_equal(INT_MIN, _SC_LINE_MAX); */ /* not implemented */
208 	/* zassert_not_equal(INT_MIN, _SC_LOGIN_NAME_MAX); */ /* not implemented */
209 	/* zassert_not_equal(INT_MIN, _SC_MAPPED_FILES); */ /* not implemented */
210 	/* zassert_not_equal(INT_MIN, _SC_MEMLOCK); */ /* not implemented */
211 	/* zassert_not_equal(INT_MIN, _SC_MEMLOCK_RANGE); */ /* not implemented */
212 	/* zassert_not_equal(INT_MIN, _SC_MEMORY_PROTECTION); */ /* not implemented */
213 	/* zassert_not_equal(INT_MIN, _SC_MESSAGE_PASSING); */ /* not implemented */
214 	/* zassert_not_equal(INT_MIN, _SC_MONOTONIC_CLOCK); */ /* not implemented */
215 	/* zassert_not_equal(INT_MIN, _SC_MQ_OPEN_MAX); */ /* not implemented */
216 	/* zassert_not_equal(INT_MIN, _SC_MQ_PRIO_MAX); */ /* not implemented */
217 	/* zassert_not_equal(INT_MIN, _SC_NGROUPS_MAX); */ /* not implemented */
218 	/* zassert_not_equal(INT_MIN, _SC_OPEN_MAX); */ /* not implemented */
219 	/* zassert_not_equal(INT_MIN, _SC_PAGE_SIZE); */ /* not implemented */
220 	/* zassert_not_equal(INT_MIN, _SC_PAGESIZE); */ /* not implemented */
221 	/* zassert_not_equal(INT_MIN, _SC_PRIORITIZED_IO); */ /* not implemented */
222 	/* zassert_not_equal(INT_MIN, _SC_PRIORITY_SCHEDULING); */ /* not implemented */
223 	/* zassert_not_equal(INT_MIN, _SC_RAW_SOCKETS); */ /* not implemented */
224 	/* zassert_not_equal(INT_MIN, _SC_RE_DUP_MAX); */ /* not implemented */
225 	/* zassert_not_equal(INT_MIN, _SC_READER_WRITER_LOCKS); */ /* not implemented */
226 	/* zassert_not_equal(INT_MIN, _SC_REALTIME_SIGNALS); */ /* not implemented */
227 	/* zassert_not_equal(INT_MIN, _SC_REGEXP); */ /* not implemented */
228 	/* zassert_not_equal(INT_MIN, _SC_RTSIG_MAX); */ /* not implemented */
229 	/* zassert_not_equal(INT_MIN, _SC_SAVED_IDS); */ /* not implemented */
230 	/* zassert_not_equal(INT_MIN, _SC_SEM_NSEMS_MAX); */ /* not implemented */
231 	/* zassert_not_equal(INT_MIN, _SC_SEM_VALUE_MAX); */ /* not implemented */
232 	/* zassert_not_equal(INT_MIN, _SC_SEMAPHORES); */ /* not implemented */
233 	/* zassert_not_equal(INT_MIN, _SC_SHARED_MEMORY_OBJECTS); */ /* not implemented */
234 	/* zassert_not_equal(INT_MIN, _SC_SHELL); */ /* not implemented */
235 	/* zassert_not_equal(INT_MIN, _SC_SIGQUEUE_MAX); */ /* not implemented */
236 	/* zassert_not_equal(INT_MIN, _SC_SPAWN); */ /* not implemented */
237 	/* zassert_not_equal(INT_MIN, _SC_SPIN_LOCKS); */ /* not implemented */
238 	/* zassert_not_equal(INT_MIN, _SC_SPORADIC_SERVER); */ /* not implemented */
239 	/* zassert_not_equal(INT_MIN, _SC_SS_REPL_MAX); */ /* not implemented */
240 	/* zassert_not_equal(INT_MIN, _SC_STREAM_MAX); */ /* not implemented */
241 	/* zassert_not_equal(INT_MIN, _SC_SYMLOOP_MAX); */ /* not implemented */
242 	/* zassert_not_equal(INT_MIN, _SC_SYNCHRONIZED_IO); */ /* not implemented */
243 	/* zassert_not_equal(INT_MIN, _SC_THREAD_ATTR_STACKADDR); */ /* not implemented */
244 	/* zassert_not_equal(INT_MIN, _SC_THREAD_ATTR_STACKSIZE); */ /* not implemented */
245 	/* zassert_not_equal(INT_MIN, _SC_THREAD_CPUTIME); */ /* not implemented */
246 	/* zassert_not_equal(INT_MIN, _SC_THREAD_DESTRUCTOR_ITERATIONS); */ /* not implemented */
247 	/* zassert_not_equal(INT_MIN, _SC_THREAD_KEYS_MAX); */ /* not implemented */
248 	/* zassert_not_equal(INT_MIN, _SC_THREAD_PRIO_INHERIT); */ /* not implemented */
249 	/* zassert_not_equal(INT_MIN, _SC_THREAD_PRIO_PROTECT); */ /* not implemented */
250 	/* zassert_not_equal(INT_MIN, _SC_THREAD_PRIORITY_SCHEDULING); */ /* not implemented */
251 	/* zassert_not_equal(INT_MIN, _SC_THREAD_PROCESS_SHARED); */ /* not implemented */
252 	/* zassert_not_equal(INT_MIN, _SC_THREAD_ROBUST_PRIO_INHERIT); */ /* not implemented */
253 	/* zassert_not_equal(INT_MIN, _SC_THREAD_ROBUST_PRIO_PROTECT); */ /* not implemented */
254 	/* zassert_not_equal(INT_MIN, _SC_THREAD_SAFE_FUNCTIONS); */ /* not implemented */
255 	/* zassert_not_equal(INT_MIN, _SC_THREAD_SPORADIC_SERVER); */ /* not implemented */
256 	/* zassert_not_equal(INT_MIN, _SC_THREAD_STACK_MIN); */ /* not implemented */
257 	/* zassert_not_equal(INT_MIN, _SC_THREAD_THREADS_MAX); */ /* not implemented */
258 	/* zassert_not_equal(INT_MIN, _SC_THREADS); */ /* not implemented */
259 	/* zassert_not_equal(INT_MIN, _SC_TIMEOUTS); */ /* not implemented */
260 	/* zassert_not_equal(INT_MIN, _SC_TIMER_MAX); */ /* not implemented */
261 	/* zassert_not_equal(INT_MIN, _SC_TIMERS); */ /* not implemented */
262 	/* zassert_not_equal(INT_MIN, _SC_TRACE); */ /* not implemented */
263 	/* zassert_not_equal(INT_MIN, _SC_TRACE_EVENT_FILTER); */ /* not implemented */
264 	/* zassert_not_equal(INT_MIN, _SC_TRACE_EVENT_NAME_MAX); */ /* not implemented */
265 	/* zassert_not_equal(INT_MIN, _SC_TRACE_INHERIT); */ /* not implemented */
266 	/* zassert_not_equal(INT_MIN, _SC_TRACE_LOG); */ /* not implemented */
267 	/* zassert_not_equal(INT_MIN, _SC_TRACE_NAME_MAX); */ /* not implemented */
268 	/* zassert_not_equal(INT_MIN, _SC_TRACE_SYS_MAX); */ /* not implemented */
269 	/* zassert_not_equal(INT_MIN, _SC_TRACE_USER_EVENT_MAX); */ /* not implemented */
270 	/* zassert_not_equal(INT_MIN, _SC_TTY_NAME_MAX); */ /* not implemented */
271 	/* zassert_not_equal(INT_MIN, _SC_TYPED_MEMORY_OBJECTS); */ /* not implemented */
272 	/* zassert_not_equal(INT_MIN, _SC_TZNAME_MAX); */ /* not implemented */
273 	/* zassert_not_equal(INT_MIN, _SC_V7_ILP32_OFF32); */ /* not implemented */
274 	/* zassert_not_equal(INT_MIN, _SC_V7_ILP32_OFFBIG); */ /* not implemented */
275 	/* zassert_not_equal(INT_MIN, _SC_V7_LP64_OFF64); */ /* not implemented */
276 	/* zassert_not_equal(INT_MIN, _SC_V7_LPBIG_OFFBIG); */ /* not implemented */
277 	/* zassert_not_equal(INT_MIN, _SC_V6_ILP32_OFF32); */ /* not implemented */
278 	/* zassert_not_equal(INT_MIN, _SC_V6_ILP32_OFFBIG); */ /* not implemented */
279 	/* zassert_not_equal(INT_MIN, _SC_V6_LP64_OFF64); */ /* not implemented */
280 	/* zassert_not_equal(INT_MIN, _SC_V6_LPBIG_OFFBIG); */ /* not implemented */
281 	/* zassert_not_equal(INT_MIN, _SC_VERSION); */ /* not implemented */
282 	/* zassert_not_equal(INT_MIN, _SC_XOPEN_CRYPT); */ /* not implemented */
283 	/* zassert_not_equal(INT_MIN, _SC_XOPEN_ENH_I18N); */ /* not implemented */
284 	/* zassert_not_equal(INT_MIN, _SC_XOPEN_REALTIME); */ /* not implemented */
285 	/* zassert_not_equal(INT_MIN, _SC_XOPEN_REALTIME_THREADS); */ /* not implemented */
286 	/* zassert_not_equal(INT_MIN, _SC_XOPEN_SHM); */ /* not implemented */
287 	/* zassert_not_equal(INT_MIN, _SC_XOPEN_STREAMS); */ /* not implemented */
288 	/* zassert_not_equal(INT_MIN, _SC_XOPEN_UNIX); */ /* not implemented */
289 	/* zassert_not_equal(INT_MIN, _SC_XOPEN_UUCP); */ /* not implemented */
290 	/* zassert_not_equal(INT_MIN, _SC_XOPEN_VERSION); */ /* not implemented */
291 
292 	/* zassert_equal(STDERR_FILENO, 2); */ /* not implemented */
293 	/* zassert_equal(STDIN_FILENO, 0); */ /* not implemented */
294 	/* zassert_equal(STDOUT_FILENO, 1); */ /* not implemented */
295 
296 	/* zassert_not_equal(INT_MIN, _POSIX_VDISABLE); */ /* not implemented */
297 
298 /*
299  * FIXME: this should really use IS_ENABLED()
300  * When CONFIG_POSIX_API is n-selected (i.e. POSIX headers can only be
301  * included with <zephyr/posix/...>, i.e. are namespaced), then there
302  * should be no reason to conditionally declare standard posix
303  * function prototypes.
304  */
305 #ifdef CONFIG_POSIX_API
306 	/* zassert_not_null(access); */ /* not implemented */
307 	/* zassert_not_null(alarm); */ /* not implemented */
308 	/* zassert_not_null(chdir); */ /* not implemented */
309 	/* zassert_not_null(chown); */ /* not implemented */
310 	zassert_not_null(close);
311 	/* zassert_not_null(confstr); */ /* not implemented */
312 	/* zassert_not_null(crypt); */ /* not implemented */
313 	/* zassert_not_null(dup); */ /* not implemented */
314 	/* zassert_not_null(dup2); */ /* not implemented */
315 	zassert_not_null(_exit);
316 	/* zassert_not_null(encrypt); */ /* not implemented */
317 	/* zassert_not_null(execl); */ /* not implemented */
318 	/* zassert_not_null(execle); */ /* not implemented */
319 	/* zassert_not_null(execlp); */ /* not implemented */
320 	/* zassert_not_null(execv); */ /* not implemented */
321 	/* zassert_not_null(execve); */ /* not implemented */
322 	/* zassert_not_null(execvp); */ /* not implemented */
323 	/* zassert_not_null(faccessat); */ /* not implemented */
324 	/* zassert_not_null(fchdir); */ /* not implemented */
325 	/* zassert_not_null(fchown); */ /* not implemented */
326 	/* zassert_not_null(fchownat); */ /* not implemented */
327 	/* zassert_not_null(fdatasync); */ /* not implemented */
328 	/* zassert_not_null(fexecve); */ /* not implemented */
329 	/* zassert_not_null(fork); */ /* not implemented */
330 	/* zassert_not_null(fpathconf); */ /* not implemented */
331 	/* zassert_not_null(fsync); */ /* not implemented */
332 	/* zassert_not_null(ftruncate); */ /* not implemented */
333 	/* zassert_not_null(getcwd); */ /* not implemented */
334 	/* zassert_not_null(getegid); */ /* not implemented */
335 	/* zassert_not_null(geteuid); */ /* not implemented */
336 	/* zassert_not_null(getgid); */ /* not implemented */
337 	/* zassert_not_null(getgroups); */ /* not implemented */
338 	/* zassert_not_null(gethostid); */ /* not implemented */
339 	/* zassert_not_null(gethostname); */ /* not implemented */
340 	/* zassert_not_null(getlogin); */ /* not implemented */
341 	/* zassert_not_null(getlogin_r); */ /* not implemented */
342 	zassert_not_null(getopt);
343 	/* zassert_not_null(getpgid); */ /* not implemented */
344 	/* zassert_not_null(getpgrp); */ /* not implemented */
345 	/* zassert_not_null(getpid); */ /* not implemented */
346 	/* zassert_not_null(getppid); */ /* not implemented */
347 	/* zassert_not_null(getsid); */ /* not implemented */
348 	/* zassert_not_null(getuid); */ /* not implemented */
349 	/* zassert_not_null(isatty); */ /* not implemented */
350 	/* zassert_not_null(lchown); */ /* not implemented */
351 	/* zassert_not_null(link); */ /* not implemented */
352 	/* zassert_not_null(linkat); */ /* not implemented */
353 	/* zassert_not_null(lockf); */ /* not implemented */
354 	zassert_not_null(lseek);
355 	/* zassert_not_null(nice); */ /* not implemented */
356 	/* zassert_not_null(pathconf); */ /* not implemented */
357 	/* zassert_not_null(pause); */ /* not implemented */
358 	/* zassert_not_null(pipe); */ /* not implemented */
359 	/* zassert_not_null(pread); */ /* not implemented */
360 	/* zassert_not_null(pwrite); */ /* not implemented */
361 	zassert_not_null(read);
362 	/* zassert_not_null(readlink); */ /* not implemented */
363 	/* zassert_not_null(readlinkat); */ /* not implemented */
364 	/* zassert_not_null(rmdir); */ /* not implemented */
365 	/* zassert_not_null(setegid); */ /* not implemented */
366 	/* zassert_not_null(seteuid); */ /* not implemented */
367 	/* zassert_not_null(setgid); */ /* not implemented */
368 	/* zassert_not_null(setpgid); */ /* not implemented */
369 	/* zassert_not_null(setpgrp); */ /* not implemented */
370 	/* zassert_not_null(setregid); */ /* not implemented */
371 	/* zassert_not_null(setreuid); */ /* not implemented */
372 	/* zassert_not_null(setsid); */ /* not implemented */
373 	/* zassert_not_null(setuid); */ /* not implemented */
374 	zassert_not_null(sleep);
375 	/* zassert_not_null(swab); */ /* not implemented */
376 	/* zassert_not_null(symlink); */ /* not implemented */
377 	/* zassert_not_null(symlinkat); */ /* not implemented */
378 	/* zassert_not_null(sync); */ /* not implemented */
379 	/* zassert_not_null(sysconf); */ /* not implemented */
380 	/* zassert_not_null(tcgetpgrp); */ /* not implemented */
381 	/* zassert_not_null(tcsetpgrp); */ /* not implemented */
382 	/* zassert_not_null(truncate); */ /* not implemented */
383 	/* zassert_not_null(ttyname); */ /* not implemented */
384 	/* zassert_not_null(ttyname_r); */ /* not implemented */
385 	zassert_not_null(unlink);
386 	/* zassert_not_null(unlinkat); */ /* not implemented */
387 	zassert_not_null(write);
388 #endif
389 }
390