7 lines
100 B
C
7 lines
100 B
C
#include "types.h"
|
|
|
|
void kinit();
|
|
void kprintp(const u32);
|
|
void kprints(const char*);
|
|
void kmain();
|