Barrelfish
Macros | Functions
useraccess.h File Reference

User space memory access functions. More...

Macros

#define ACCESS_READ   0
 

Functions

bool access_ok (uint8_t type, lvaddr_t buffer, size_t size)
 

Detailed Description

User space memory access functions.

Macro Definition Documentation

#define ACCESS_READ   0

Type of access to a user space memory region.

Function Documentation

bool access_ok ( uint8_t  type,
lvaddr_t  buffer,
size_t  size 
)

Check the validity of the user space buffer.

Parameters
typeType of access to check: ACCESS_WRITE or ACCESS_READ.
bufferPointer to beginning of buffer.
sizeSize of buffer.