path: root/kernel/printf.h

#ifndef PRINTF_H
#define PRINTF_H

int printf(const char* format, ...);

#endif