ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
uaccess.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define PAGE_SIZE   4096
#define USER_MEMORY_SPACE   10000
#define KERNEL_MEMORY_SPACE   10000

Functions

unsigned long copy_to_user (void *to, void *from, unsigned long size)
unsigned long copy_from_user (void *to, void *from, unsigned long size)

Variables

char user_memory [USER_MEMORY_SPACE]
char kernel_memory [KERNEL_MEMORY_SPACE]

Macro Definition Documentation

◆ KERNEL_MEMORY_SPACE

#define KERNEL_MEMORY_SPACE   10000

◆ PAGE_SIZE

#define PAGE_SIZE   4096

◆ USER_MEMORY_SPACE

#define USER_MEMORY_SPACE   10000

Function Documentation

◆ copy_from_user()

unsigned long copy_from_user ( void * to,
void * from,
unsigned long size )

◆ copy_to_user()

unsigned long copy_to_user ( void * to,
void * from,
unsigned long size )

Variable Documentation

◆ kernel_memory

char kernel_memory[KERNEL_MEMORY_SPACE]
extern

◆ user_memory

char user_memory[USER_MEMORY_SPACE]
extern