ARM_LOCAL_INT_MAILBOX
ARM_LOCAL_INT_MAILBOX(i), 0);
ARM_LOCAL_INT_MAILBOX(cpu_number()),
ARM_LOCAL_INT_MAILBOX(i), 1);