/* Copyright (C) 2004 David Decotigny This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ #ifndef _SOS_BOCHS_H_ #define _SOS_BOCHS_H_ /** * @file bochs.h * * If you compiled Bochs with the --enable-e9-hack, then any character * printed to the 0xE9 I/O port is printed to the xterm that is * running Bochs. This may appear to be a detail, but in fact, this * functionnality is *VERY* precious for debugging purposes. This * """driver""" handles this feature. */ #include #include sos_ret_t sos_bochs_setup(void); sos_ret_t sos_bochs_putchar(char c); sos_ret_t sos_bochs_putstring(const char* str); /** Print the least signficant 32 (nbytes == 4), 24 (nbytes == 3), 16 (nbytes == 2) or 8 (nbytes == 1) bits of val in hexadecimal. */ sos_ret_t sos_bochs_puthex(unsigned val, int nbytes); /** hexdump-style pretty printing */ sos_ret_t sos_bochs_hexdump(const void* addr, int nbytes); /** * Print the formatted string. Very restricted version of printf(3): * 1/ can print max 255 chars, 2/ supports only %d/%i, %c, %s, %x * without any support for flag charachters (eg %08x). */ sos_ret_t sos_bochs_printf(const char *format, /* args */...) __attribute__ ((format (printf, 1, 2))); #endif