Barrelfish
|
User space memory access functions. More...
Macros | |
#define | ACCESS_READ 0 |
Functions | |
bool | access_ok (uint8_t type, lvaddr_t buffer, size_t size) |
User space memory access functions.
#define ACCESS_READ 0 |
Type of access to a user space memory region.
bool access_ok | ( | uint8_t | type, |
lvaddr_t | buffer, | ||
size_t | size | ||
) |
Check the validity of the user space buffer.
type | Type of access to check: ACCESS_WRITE or ACCESS_READ. |
buffer | Pointer to beginning of buffer. |
size | Size of buffer. |