内核不能使用printf函数的原因——无法调用C库函数

NoSuchKey