Barrelfish
|
User space memory access functions. More...
Functions | |
bool | access_ok (uint8_t type, lvaddr_t buffer, size_t size) |
User space memory access functions.
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. |