Atmosphere / fusee / fusee-secondary / src / lib / driver_utils.h

#ifndef FUSEE_DRIVER_UTILS_H
#define FUSEE_DRIVER_UTILS_H

#include <stdio.h>
#include <stdarg.h>

#define vprintk vprintf
#define printk  printf

#endif