我找到了包含current_processor（）的kern/processor.h文件。
但是即使我包含current_processor()文件，我也无法使用kern/processor.h。>>
是否有任何获取当前处理器ID的方法？
我找到了包含current_processor（）的kern / processor.h文件。但是，即使我包含kern / processor.h文件，我也不能使用current_processor（）。有什么方法可以获取当前的处理器ID？
以下功能在<kern/cpu_number.h>中声明：