|
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. |
1.8.11