Barrelfish
|
Functions | |
errval_t | bulk_buffer_map (struct bulk_buffer *buffer) |
errval_t | bulk_buffer_unmap (struct bulk_buffer *buffer) |
uint8_t | bulk_buffer_is_owner (struct bulk_buffer *buffer) |
uint8_t | bulk_buffer_is_copy (struct bulk_buffer *buffer) |
uint8_t | bulk_buffer_is_valid (struct bulk_buffer *buffer) |
errval_t | bulk_buffer_change_state (struct bulk_buffer *buffer, enum bulk_buffer_state new_state) |
errval_t | bulk_buffer_assign_cap (struct bulk_buffer *buffer, struct capref cap, size_t cap_offset) |
errval_t bulk_buffer_assign_cap | ( | struct bulk_buffer * | buffer, |
struct capref | cap, | ||
size_t | cap_offset | ||
) |
Sets a cap + offset pair for a buffer.
buffer | the buffer |
cap | cap to assign |
cap_offset | offset in the cap |
errval_t bulk_buffer_change_state | ( | struct bulk_buffer * | buffer, |
enum bulk_buffer_state | new_state | ||
) |
changes the state of the buffer and adjust the mappings accordingly
buffer | the buffer to change the state |
state | new state to transition the buffer to |
uint8_t bulk_buffer_is_copy | ( | struct bulk_buffer * | buffer | ) |
checks if the buffer is a read only copy
buffer | the buffer to check |
uint8_t bulk_buffer_is_owner | ( | struct bulk_buffer * | buffer | ) |
checks if the buffer is owned by the calling domain
buf | buffer to check for ownership |
uint8_t bulk_buffer_is_valid | ( | struct bulk_buffer * | buffer | ) |
checks if the buffer is valid
buffer | the buffer to check |
errval_t bulk_buffer_map | ( | struct bulk_buffer * | buffer | ) |
does the mapping of the buffer by filling the backing memobj with the frame and faulting on it. This is a no-op in full trusted mode.
buf | the buffer to map |
Note: The new state of the buffer as well as the backing capability must be set in the buffer struct.
errval_t bulk_buffer_unmap | ( | struct bulk_buffer * | buffer | ) |
does the unmapping of a single buffer according to the trust level,
This function does not revoke or delete any capabilities
buf | the buffer to unmap |