ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
select.h File Reference
#include <sys/socket.h>
Include dependency graph for select.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  fd_set
struct  timeval
struct  pollfd

Macros

#define FD_SETSIZE   1024
#define FD_ZERO(set)
#define FD_SET(fd, set)
#define FD_CLR(fd, set)
#define FD_ISSET(fd, set)
#define __timeval_defined   1
#define _STRUCT_TIMEVAL   struct timeval
#define POLLIN   0x0001
#define POLLPRI   0x0002
#define POLLOUT   0x0004
#define POLLERR   0x0008
#define POLLHUP   0x0010
#define POLLNVAL   0x0020
#define POLLRDNORM   0x0040
#define POLLWRNORM   0x0100

Functions

int select (int nfds, fd_set *readfds, fd_set *writefds, fd_set *exceptfds, struct timeval *timeout)
int poll (struct pollfd *fds, unsigned long nfds, int timeout)

Macro Definition Documentation

◆ __timeval_defined

#define __timeval_defined   1

◆ _STRUCT_TIMEVAL

#define _STRUCT_TIMEVAL   struct timeval

◆ FD_CLR

#define FD_CLR ( fd,
set )
Value:
((fd_set *)(set))->fds_bits[(fd) / (8 * sizeof(unsigned long))] \
&= ~(1UL << ((fd) % (8 * sizeof(unsigned long))))
Definition select.h:10

◆ FD_ISSET

#define FD_ISSET ( fd,
set )
Value:
(((fd_set *)(set))->fds_bits[(fd) / (8 * sizeof(unsigned long))] \
& (1UL << ((fd) % (8 * sizeof(unsigned long)))))

◆ FD_SET

#define FD_SET ( fd,
set )
Value:
((fd_set *)(set))->fds_bits[(fd) / (8 * sizeof(unsigned long))] \
|= (1UL << ((fd) % (8 * sizeof(unsigned long))))

◆ FD_SETSIZE

#define FD_SETSIZE   1024

◆ FD_ZERO

#define FD_ZERO ( set)
Value:
do { \
unsigned int __i; \
for (__i = 0; __i < sizeof(fd_set) / sizeof(unsigned long); __i++) \
((fd_set *)(set))->fds_bits[__i] = 0; \
} while (0)

◆ POLLERR

#define POLLERR   0x0008

◆ POLLHUP

#define POLLHUP   0x0010

◆ POLLIN

#define POLLIN   0x0001

◆ POLLNVAL

#define POLLNVAL   0x0020

◆ POLLOUT

#define POLLOUT   0x0004

◆ POLLPRI

#define POLLPRI   0x0002

◆ POLLRDNORM

#define POLLRDNORM   0x0040

◆ POLLWRNORM

#define POLLWRNORM   0x0100

Function Documentation

◆ poll()

int poll ( struct pollfd * fds,
unsigned long nfds,
int timeout )

◆ select()

int select ( int nfds,
fd_set * readfds,
fd_set * writefds,
fd_set * exceptfds,
struct timeval * timeout )