*** BEGIN OF TEST PSXDEVCTL 1 ***
posix_devctl() FIONBIO on stdin return dev_info -- EBADF
posix_devctl() FIONBIO on stdin NULL dev_info -- EBADF
posix_devctl() SOCKCLOSE on invalid file descriptor -- EBADF
posix_devctl() SOCKCLOSE on valid file descriptor -- OK
*** END OF TEST PSXDEVCTL 1 ***