mman.c File Reference

#include <sys/mman.h>

Include dependency graph for mman.c:

Go to the source code of this file.

Macros
#define	__CPROVER_SYS_MMAN_H_INCLUDED
#define	MAP_FIXED   0
#define	MAP_ANONYMOUS   0
#define	MAP_UNINITIALIZED   0

Functions
__CPROVER_bool	__VERIFIER_nondet___CPROVER_bool (void)
void *	mmap64 (void *, __CPROVER_size_t, int, int, int, off_t)
void *	mmap (void *addr, __CPROVER_size_t length, int prot, int flags, int fd, off_t offset)
void *	_mmap (void *addr, __CPROVER_size_t length, int prot, int flags, int fd, off_t offset)
int	munmap (void *addr, __CPROVER_size_t length)
int	_munmap (void *addr, __CPROVER_size_t length)

Macro Definition Documentation

__CPROVER_SYS_MMAN_H_INCLUDED

#define __CPROVER_SYS_MMAN_H_INCLUDED

Definition at line 7 of file mman.c.

MAP_ANONYMOUS

#define MAP_ANONYMOUS   0

Definition at line 15 of file mman.c.

MAP_FIXED

#define MAP_FIXED   0

Definition at line 11 of file mman.c.

MAP_UNINITIALIZED

#define MAP_UNINITIALIZED   0

Definition at line 19 of file mman.c.

Function Documentation

__VERIFIER_nondet___CPROVER_bool()

__CPROVER_bool __VERIFIER_nondet___CPROVER_bool

(

void

)

_mmap()

void * _mmap	(	void *	addr,
		__CPROVER_size_t	length,
		int	prot,
		int	flags,
		int	fd,
		off_t	offset )

Definition at line 62 of file mman.c.

_munmap()

int _munmap	(	void *	addr,
		__CPROVER_size_t	length )

Definition at line 145 of file mman.c.

mmap()

void * mmap	(	void *	addr,
		__CPROVER_size_t	length,
		int	prot,
		int	flags,
		int	fd,
		off_t	offset )

Definition at line 25 of file mman.c.

mmap64()

void * mmap64	(	void *	addr,
		__CPROVER_size_t	length,
		int	prot,
		int	flags,
		int	fd,
		off_t	offset )

Definition at line 98 of file mman.c.

munmap()

int munmap	(	void *	addr,
		__CPROVER_size_t	length )

Definition at line 132 of file mman.c.