blob: 17317d0b39b77950aef5bc93c71b567e991c23df (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#ifndef SERIAL_STDIO_H
#define SERIAL_STDIO_H
#include <types.h>
void serial_print_char(char c);
void serial_print_string(const char* s);
void serial_print_int(uint64_t num);
void serial_print_hex(uint64_t num);
void serial_printf(const char *s, ...);
#endif
|
