#ifndef FUSEE_DRIVER_UTILS_H
#define FUSEE_DRIVER_UTILS_H

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

#define vprintk vprintf
#define printk printf

#endif