add: TRACE(("find_free_message: entry\n"));
context: find_free_message(struct smp_msg **msg){	int state;//	dprintf("find_free_message: entry\n");retry:	while (free_msg_count <= 0) 		PAUSE();	state = disable_interrupts();	acquire_spinlock(&free_msg_spinlock);	if (free_msg_count <= 0) {		// someone grabbed one while we were getting the lock,		// go back to waiting for it		release_spinlock(&free_msg_spinlock);		restore_interrupts(state);		goto retry;	}	*msg = free_msgs;	free_msgs = (*msg)->next;	free_msg_count--;	release_spinlock(&free_msg_spinlock);//	dprintf("find_free_message: returning msg 0x%x\n", *msg);	return state;}