Atmosphere / thermosphere / src / lib / printk.h

void printk(char *fmt, ...);