/* * Copyright (c) 2006 Josef Cejka * Copyright (c) 2006 Jakub Vana * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions * are met: * * - Redistributions of source code must retain the above copyright * notice, this list of conditions and the following disclaimer. * - Redistributions in binary form must reproduce the above copyright * notice, this list of conditions and the following disclaimer in the * documentation and/or other materials provided with the distribution. * - The name of the author may not be used to endorse or promote products * derived from this software without specific prior written permission. * * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ /** @addtogroup libc * @{ */ /** @file */ #include #include #include #include #include #include #include #include #include #include #include #include #include static int console_phone = -1; ssize_t write_stderr(const void *buf, size_t count) { return count; } ssize_t read_stdin(void *buf, size_t count) { ipcarg_t r0, r1; size_t i = 0; while (i < count) { if (async_req_0_2(console_phone, CONSOLE_GETCHAR, &r0, &r1) < 0) { return -1; } ((char *) buf)[i++] = r0; } return i; } ssize_t write_stdout(const void *buf, size_t count) { int i; for (i = 0; i < count; i++) async_msg_1(console_phone, CONSOLE_PUTCHAR, ((const char *) buf)[i]); return count; } void open_stdin(void) { if (console_phone < 0) { while ((console_phone = ipc_connect_me_to(PHONE_NS, SERVICE_CONSOLE, 0, 0)) < 0) { usleep(10000); } } } void open_stdout(void) { if (console_phone < 0) { while ((console_phone = ipc_connect_me_to(PHONE_NS, SERVICE_CONSOLE, 0, 0)) < 0) { usleep(10000); } } } int get_cons_phone(void) { return console_phone; } /** @} */