Public Attributes | |
| l4_addr_t | addr |
| l4_size_t | size |
| data area size | |
| l4_uint32_t | flags |
| data area flags | |
| l4_uint32_t | next |
| index of next element, DSI_SG_ELEM_LAST end | |
Definition at line 105 of file types.h.
| l4_addr_t dsi_sg_elem::addr |
data area start address, it is relative to the start address of the data dataspace
Definition at line 107 of file types.h.
Referenced by __commit_receive_packet(), __wakeup_and_copy(), __wakeup_and_map(), dsi_packet_add_data(), and dsi_packet_get_data().
1.5.6