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

/barrelfish-master/include/barrelfish/
H A Dterminal.h37 size_t terminal_read(char *data, size_t count);
/barrelfish-master/lib/barrelfish/
H A Dterminal.c40 size_t terminal_read(char *data, size_t count) function
H A Dinit.c116 _libc_terminal_read_func = terminal_read;
/barrelfish-master/usr/arrakismon/
H A Dkeyboard.c182 r = terminal_read((char*)&chr, 1);
/barrelfish-master/lib/vfs/
H A Dvfs_fd.c109 retlen = terminal_read((char *)buf, len);
/barrelfish-master/usr/vmkitmon/
H A Dkeyboard.c183 r = terminal_read((char*)&chr, 1);

Completed in 100 milliseconds