set_processor_mask
set_processor_mask(processor->core_id, 1);
set_processor_mask(processor->core_id, 2);