Lines Matching refs:l4_utcb_t
70 l4_vcon_send_u(l4_cap_idx_t vcon, char const *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW;
93 l4_vcon_write_u(l4_cap_idx_t vcon, char const *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW;
132 l4_vcon_read_u(l4_cap_idx_t vcon, char *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW;
166 l4_utcb_t *utcb) L4_NOTHROW;
240 l4_utcb_t *utcb) L4_NOTHROW;
261 l4_utcb_t *utcb) L4_NOTHROW;
279 l4_vcon_send_u(l4_cap_idx_t vcon, char const *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW in l4_vcon_send_u()
298 l4_vcon_write_u(l4_cap_idx_t vcon, char const *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW in l4_vcon_write_u()
320 l4_utcb_t *utcb) L4_NOTHROW in l4_vcon_read_with_flags_u()
358 l4_vcon_read_u(l4_cap_idx_t vcon, char *buf, unsigned size, l4_utcb_t *utcb) L4_NOTHROW in l4_vcon_read_u()
375 l4_utcb_t *utcb) L4_NOTHROW in l4_vcon_set_attr_u()
395 l4_utcb_t *utcb) L4_NOTHROW in l4_vcon_get_attr_u()