Screen Version

School of Computer Science & Engineering
University of New South Wales
 Advanced Operating Systems 
 COMP9242 2002/S2 

Example: Send Call

	int l4_mips_ipc_send (		l4_threadid_t dest,	UID of dest. thread
			const void *snd_msg,	msg descriptor
			l4_ipc_reg_msg_t *snd_reg,	initial part of message
			l4_timeout_t timeout,	timeout spec
			l4_msgdope_t *result)	result code

Message is divided into two parts:

• initial part (snd_reg, 64 bytes on R4k) is passed in registers
• remainder (possibly empty) is passed as a by-value string

Operation will not block longer than indicated by timeout
(can be or ).