要记录进程切换前后的进程号，怎么使用printk才能不导致缓冲区溢出系统卡住进不去的情况？我在core.c文件中的__schedule函数内部简单的添加一行pintk之后重新编译重启系统卡住了进不去，不知道是不是溢出的原因