Need to include smp.h for the definition of smp_processor_id().