blob: fc3107792db13b241a8bb7c5718ff1b891fb6bfc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#ifndef STDIO_H
#define STDIO_H
#include <types.h>
#include <atomic.h>
void print_char(char c);
void print_string(const char *s);
void print_int(uint64_t num);
void print_hex(uint64_t num);
void printf(const char *s, ...);
void vprintf(const char *s, va_list list);
extern mutex_t stdio_lock;
#endif
|