#include <fcntl.h>
#include <errno.h>
Go to the source code of this file.
|
int | __VERIFIER_nondet_int (void) |
|
int | __CPROVER_fcntl (int fd, int cmd) |
|
int | fcntl (int fd, int cmd,...) |
|
int | _fcntl (int fd, int cmd,...) |
|
int | fcntl64 (int fd, int cmd,...) |
|
int | __CPROVER_open (const char *pathname, int flags) |
|
int | open (const char *pathname, int flags,...) |
|
int | _open (const char *pathname, int flags,...) |
|
int | open64 (const char *pathname, int flags,...) |
|
int | __CPROVER_creat (const char *pathname, mode_t mode) |
|
int | creat (const char *pathname, mode_t mode) |
|
int | _creat (const char *pathname, mode_t mode) |
|
int | creat64 (const char *pathname, mode_t mode) |
|
int | __CPROVER_openat (int dirfd, const char *pathname, int flags) |
|
int | openat (int dirfd, const char *pathname, int flags,...) |
|
int | _openat (int dirfd, const char *pathname, int flags,...) |
|
int | openat64 (int dirfd, const char *pathname, int flags,...) |
|
◆ __CPROVER_ERRNO_H_INCLUDED
#define __CPROVER_ERRNO_H_INCLUDED |
◆ __CPROVER_FCNTL_H_INCLUDED
#define __CPROVER_FCNTL_H_INCLUDED |
◆ MODE_T
◆ __CPROVER_creat()
int __CPROVER_creat |
( |
const char * |
pathname, |
|
|
mode_t |
mode |
|
) |
| |
◆ __CPROVER_fcntl()
int __CPROVER_fcntl |
( |
int |
fd, |
|
|
int |
cmd |
|
) |
| |
◆ __CPROVER_open()
int __CPROVER_open |
( |
const char * |
pathname, |
|
|
int |
flags |
|
) |
| |
◆ __CPROVER_openat()
int __CPROVER_openat |
( |
int |
dirfd, |
|
|
const char * |
pathname, |
|
|
int |
flags |
|
) |
| |
◆ __VERIFIER_nondet_int()
int __VERIFIER_nondet_int |
( |
void |
| ) |
|
◆ _creat()
int _creat |
( |
const char * |
pathname, |
|
|
mode_t |
mode |
|
) |
| |
◆ _fcntl()
int _fcntl |
( |
int |
fd, |
|
|
int |
cmd, |
|
|
|
... |
|
) |
| |
◆ _open()
int _open |
( |
const char * |
pathname, |
|
|
int |
flags, |
|
|
|
... |
|
) |
| |
◆ _openat()
int _openat |
( |
int |
dirfd, |
|
|
const char * |
pathname, |
|
|
int |
flags, |
|
|
|
... |
|
) |
| |
◆ creat()
int creat |
( |
const char * |
pathname, |
|
|
mode_t |
mode |
|
) |
| |
◆ creat64()
int creat64 |
( |
const char * |
pathname, |
|
|
mode_t |
mode |
|
) |
| |
◆ fcntl()
int fcntl |
( |
int |
fd, |
|
|
int |
cmd, |
|
|
|
... |
|
) |
| |
◆ fcntl64()
int fcntl64 |
( |
int |
fd, |
|
|
int |
cmd, |
|
|
|
... |
|
) |
| |
◆ open()
int open |
( |
const char * |
pathname, |
|
|
int |
flags, |
|
|
|
... |
|
) |
| |
◆ open64()
int open64 |
( |
const char * |
pathname, |
|
|
int |
flags, |
|
|
|
... |
|
) |
| |
◆ openat()
int openat |
( |
int |
dirfd, |
|
|
const char * |
pathname, |
|
|
int |
flags, |
|
|
|
... |
|
) |
| |
◆ openat64()
int openat64 |
( |
int |
dirfd, |
|
|
const char * |
pathname, |
|
|
int |
flags, |
|
|
|
... |
|
) |
| |