dummy_acquire_spinlock_nocheck
dummy_acquire_spinlock_nocheck(&cpu_msg_spinlock[currentCPU]);
dummy_acquire_spinlock_nocheck(&broadcast_msg_spinlock);