Don't forget that queue_message is not called without SMP