Searched refs:buff_len (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c452 size_t buff_len, bytes_written; local
547 buff_len = seL4_GetMR(SSMSGREG_WRITE_REQ_BUFF_LEN);
548 error = serial_server_func_write(client_data, buff_len,

Completed in 72 milliseconds