#include <oskit/smp.h>void smp_message_pass(int cpunum);
This causes the target processor to run its interrupt handler for the IPI vector, if the appropriate entry of smp_message_pass_enable has been set to non-zero by that processor. A processor should only modify its own smp_message_pass_enable entry after it is ready to start receiving IPIs.This call offers very limited functionality. The expectation is that the OS writer will implement the desired functionality on top of this primitive.