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