Searched refs:l4_vcon_read_with_flags (Results 1 – 1 of 1) sorted by relevance
159 l4_vcon_read_with_flags(l4_cap_idx_t vcon, char *buf, unsigned size) L4_NOTHROW;352 l4_vcon_read_with_flags(l4_cap_idx_t vcon, char *buf, unsigned size) L4_NOTHROW in l4_vcon_read_with_flags() function
Completed in 3 milliseconds