プリコンパイラ文…
プリしか合ってなかった。。
すみません

printf("%"PRIu64 "\n", a);
で解決しました（`･ω･)ﾉ
＃kernelのsourceなので/usr/include/のファイルは
＃参照できませんが、inttypes.hを参考に定義して解決

ありがとうございましたm(__)m