1 files changed, 0 insertions, 87 deletions
diff --git a/gpxe/src/include/gpxe/posix_io.h b/gpxe/src/include/gpxe/posix_io.h
deleted file mode 100644
index 3063dfff..00000000
--- a/gpxe/src/include/gpxe/posix_io.h
+++ /dev/null
@@ -1,87 +0,0 @@
-#ifndef _GPXE_POSIX_IO_H
-#define _GPXE_POSIX_IO_H
-
-/** @file
- *
- * POSIX-like I/O
- *
- */
-
-FILE_LICENCE ( GPL2_OR_LATER );
-
-#include <stdint.h>
-#include <gpxe/uaccess.h>
-
-/** Minimum file descriptor that will ever be allocated */
-#define POSIX_FD_MIN ( 1 )
-
-/** Maximum file descriptor that will ever be allocated */
-#define POSIX_FD_MAX ( 31 )
-
-/** File descriptor set as used for select() */
-typedef uint32_t fd_set;
-
-extern int open ( const char *uri_string );
-extern ssize_t read_user ( int fd, userptr_t buffer,
-			   off_t offset, size_t len );
-extern int select ( fd_set *readfds, int wait );
-extern ssize_t fsize ( int fd );
-extern int close ( int fd );
-
-/**
- * Zero a file descriptor set
- *
- * @v set		File descriptor set
- */
-static inline __attribute__ (( always_inline )) void
-FD_ZERO ( fd_set *set ) {
-	*set = 0;
-}
-
-/**
- * Set a bit within a file descriptor set
- *
- * @v fd		File descriptor
- * @v set		File descriptor set
- */
-static inline __attribute__ (( always_inline )) void
-FD_SET ( int fd, fd_set *set ) {
-	*set |= ( 1 << fd );
-}
-
-/**
- * Clear a bit within a file descriptor set
- *
- * @v fd		File descriptor
- * @v set		File descriptor set
- */
-static inline __attribute__ (( always_inline )) void
-FD_CLR ( int fd, fd_set *set ) {
-	*set &= ~( 1 << fd );
-}
-
-/**
- * Test a bit within a file descriptor set
- *
- * @v fd		File descriptor
- * @v set		File descriptor set
- * @ret is_set		Corresponding bit is set
- */
-static inline __attribute__ (( always_inline )) int
-FD_ISSET ( int fd, fd_set *set ) {
-	return ( *set & ( 1 << fd ) );
-}
-
-/**
- * Read data from file
- *
- * @v fd		File descriptor
- * @v buf		Data buffer
- * @v len		Maximum length to read
- * @ret len		Actual length read, or negative error number
- */
-static inline ssize_t read ( int fd, void *buf, size_t len ) {
-	return read_user ( fd, virt_to_user ( buf ), 0, len );
-}
-
-#endif /* _GPXE_POSIX_IO_H */