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

/seL4-test-master/tools/seL4/elfloader-tool/include/
H A Dprintf.h13 int sprintf(char *buff, const char *format, ...);
/seL4-test-master/tools/seL4/elfloader-tool/src/
H A Dprintf.c43 char buff[MAX_INT_BUFF_SIZE]; local
53 buff[k--] = 0;
57 buff[k] = hex[n % base];
63 write_string(write_char, payload, &buff[k + 1]);
229 char *buff; member in struct:sprintf_payload
236 p->buff[p->n] = c;
240 int sprintf(char *buff, const char *format, ...) argument
242 struct sprintf_payload p = {buff, 0};
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/tk1/
H A Di2c.c280 uint8_t *buff; member in struct:tk1_i2c_state_::__anon663
287 uint8_t *buff; member in struct:tk1_i2c_state_::__anon664
938 &s->master.buff[s->master.xfer_cursor],
971 &s->master.buff[s->master.xfer_cursor],
1121 s->master.buff = buf;
1187 s->master.buff = (uint8_t *)buf;

Completed in 89 milliseconds