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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vchan/include/sel4vchan/
H A Dvchan_copy.h34 int buffer_space; member in struct:vchan_alert
H A Dvchan_component.h26 int (*alert_status)(vchan_ctrl_t, int *data_ready, int *buffer_space);
/seL4-camkes-master/projects/lwip/src/apps/mqtt/
H A Dmqtt.c885 u16_t cpy_len, cpy_start, buffer_space; local
893 buffer_space = MQTT_VAR_HEADER_BUFFER_LEN - cpy_start;
894 if (cpy_len > buffer_space) {
895 cpy_len = buffer_space;
905 if ((msg_rem_len == 0) || (cpy_len == buffer_space)) {

Completed in 39 milliseconds