blob: ed50dc43e80814809995ac35095cfb150bb367b2 (
plain)
1
2
3
4
5
6
7
8
9
10
|
#ifndef PURGATORY_H
#define PURGATORY_H
void putchar(int ch);
void sprintf(char *buffer, const char *fmt, ...);
void printf(const char *fmt, ...);
void setup_arch(void);
void post_verification_setup_arch(void);
#endif /* PURGATORY_H */
|