#ifndef KERNELMQ_INCLUDED_KPRINTF #define KERNELMQ_INCLUDED_KPRINTF 1 void kprintf(const char *format, ...); #endif