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

/barrelfish-2018-10-04/include/barrelfish/
H A Dterminal.h36 size_t terminal_write(const char *data, size_t length);
/barrelfish-2018-10-04/usr/arrakismon/
H A Dconsole.c58 r = terminal_write(&chr, 1);
83 r = terminal_write("\n", 1);
92 r = terminal_write(&chr, 1);
H A Dpc16550d.c106 int r = terminal_write(&chr, 1);
/barrelfish-2018-10-04/usr/vmkitmon/
H A Dconsole.c58 r = terminal_write(&chr, 1);
83 r = terminal_write("\n", 1);
92 r = terminal_write(&chr, 1);
/barrelfish-2018-10-04/lib/barrelfish/
H A Dterminal.c23 size_t terminal_write(const char *data, size_t length) function
H A Dinit.c101 _libc_terminal_write_func = terminal_write;
/barrelfish-2018-10-04/lib/vfs/
H A Dvfs_fd.c142 retlen = terminal_write((const char*) buf, len);
146 retlen = terminal_write((const char*) buf, len);
/barrelfish-2018-10-04/usr/tests/spantest/
H A Dspantest.c75 extern size_t terminal_write(const char *data, size_t length);
89 terminal_write(&out, 1);
243 if (core == 1) sys_print("terminal_write\n", 15);

Completed in 72 milliseconds