POK(kernelpart)
|
00001 /* 00002 * POK header 00003 * 00004 * The following file is a part of the POK project. Any modification should 00005 * made according to the POK licence. You CANNOT use this file or a part of 00006 * this file is this part of a file for your own project 00007 * 00008 * For more information on the POK licence, please see our LICENCE FILE 00009 * 00010 * Please follow the coding guidelines described in doc/CODING_GUIDELINES 00011 * 00012 * Copyright (c) 2007-2009 POK team 00013 * 00014 * Created by julien on Thu Jan 15 23:34:13 2009 00015 */ 00016 00017 00018 #if defined (POK_NEEDS_CONSOLE) || defined (POK_NEEDS_DEBUG) || defined (POK_NEEDS_INSTRUMENTATION) || defined (POK_NEEDS_COVERAGE_INFOS) 00019 00020 #include <types.h> 00021 00022 typedef void (*print_char_fn_t)(const char c); 00023 typedef void (*print_attr_fn_t)(uint8_t attr); 00024 00025 void pok_print_char(const char c); 00026 void pok_print_attr(uint8_t attr); 00027 00028 int pok_print_init(print_char_fn_t print_char_fn, 00029 print_attr_fn_t print_attr_fn); 00030 00031 int pok_write(const char *s, size_t length); 00032 00033 #endif