17 #if defined (POK_NEEDS_CONSOLE) || defined (POK_NEEDS_DEBUG) || defined (POK_NEEDS_INSTRUMENTATION) || defined (POK_NEEDS_COVERAGE_INFOS)
25 print_char_fn_t pok_print_char_fn =
NULL;
26 print_attr_fn_t pok_print_attr_fn =
NULL;
30 void pok_print_char (
const char c)
32 if (pok_print_char_fn !=
NULL)
34 return (pok_print_char_fn(c));
38 void pok_print_attr (
uint8_t attr)
40 if (pok_print_attr_fn !=
NULL)
42 pok_print_attr_fn(attr);
46 int pok_write (
const char *s,
size_t length)
50 for (i = 0; i < length; i++)
52 pok_print_char (*s++);
58 int pok_print_init (print_char_fn_t print_char_fn,
59 print_attr_fn_t print_attr_fn)
61 pok_print_char_fn = print_char_fn;
62 pok_print_attr_fn = print_attr_fn;