diff options
Diffstat (limited to 'arch/sandbox/os')
-rw-r--r-- | arch/sandbox/os/common.c | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/arch/sandbox/os/common.c b/arch/sandbox/os/common.c index 287be0d13b..dcaf0c837e 100644 --- a/arch/sandbox/os/common.c +++ b/arch/sandbox/os/common.c @@ -73,17 +73,6 @@ static void cookmode(void) tcsetattr(0, TCSANOW, &term_orig); } -void linux_putc(const char c) -{ - fputc(c, stdout); - - /* If \n, also do \r */ - if (c == '\n') - linux_putc ('\r'); - - fflush(stdout); -} - int linux_tstc(int fd) { struct timeval tv = { @@ -117,15 +106,6 @@ int ctrlc(void) return 0; } -int linux_getc(void) -{ - char ret; - - read(0, &ret, 1); - - return ret; -} - uint64_t linux_get_time(void) { struct timespec ts; |