16 void printk(
const char* s);
24 void printf(
const char *s, ...);
void printf(const char *s,...)
Definition: stdio.c:36
void reset_led()
Definition: stdio.c:61
void print_to_ascii(const char *s)
Definition: stdio.c:54
void print_to_led(const int p)
Definition: stdio.c:66
void printk(const char *s)
Definition: stdio.c:29