Barrelfish
|
Data Fields | |
void * | address |
uintptr_t | phys |
struct bulk_pool * | pool |
uint32_t | bufferid |
struct capref | cap |
lpaddr_t | cap_offset |
enum bulk_buffer_state | state |
uint32_t | local_ref_count |
a bulk buffer is the base unit for bulk data transfer in the system
void* bulk_buffer::address |
the virtual address of the buffer
uint32_t bulk_buffer::bufferid |
index of this buffer within the pool's array of buffers
struct capref bulk_buffer::cap |
capability for this buffer
lpaddr_t bulk_buffer::cap_offset |
offset in the capability
uint32_t bulk_buffer::local_ref_count |
local refrence counting
uintptr_t bulk_buffer::phys |
the physical address
struct bulk_pool* bulk_buffer::pool |
XXX: maybe we have to use the pool_id here
enum bulk_buffer_state bulk_buffer::state |
state of the buffer