ipc/include/utils/kprint.h

#ifndef __KPRINT_H__

    #include <stdio.h>

    #define kprint(msg) printf("%s", msg);
#endif // __KPRINT_H__