Searched refs:terminal_write (Results 1 - 8 of 8) sorted by relevance
/barrelfish-master/include/barrelfish/ |
H A D | terminal.h | 36 size_t terminal_write(const char *data, size_t length);
|
/barrelfish-master/usr/arrakismon/ |
H A D | console.c | 58 r = terminal_write(&chr, 1); 83 r = terminal_write("\n", 1); 92 r = terminal_write(&chr, 1);
|
H A D | pc16550d.c | 106 int r = terminal_write(&chr, 1);
|
/barrelfish-master/usr/vmkitmon/ |
H A D | console.c | 59 r = terminal_write(&chr, 1); 84 r = terminal_write("\n", 1); 93 r = terminal_write(&chr, 1);
|
/barrelfish-master/lib/barrelfish/ |
H A D | terminal.c | 23 size_t terminal_write(const char *data, size_t length) function
|
H A D | init.c | 117 _libc_terminal_write_func = terminal_write;
|
/barrelfish-master/lib/vfs/ |
H A D | vfs_fd.c | 142 retlen = terminal_write((const char*) buf, len); 146 retlen = terminal_write((const char*) buf, len);
|
/barrelfish-master/usr/tests/spantest/ |
H A D | spantest.c | 75 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 140 milliseconds