31a32,33
> #include "kern/linux/printk.hh"
>
38d39
< #include "kern/linux/printk.hh"