finish_message_processing
finish_message_processing(currentCPU, msg, MAILBOX_LOCAL);
finish_message_processing(currentCPU, msg, sourceMailbox);