Listing 3
/* * These are the functions derived from the two IPC syscalls. For * normal C, function overloading is not supported. Functions with * unique names (i.e., with the suffix inside <> appended) have * therefore been provided. * * L4_Call (to) * L4_Call<_Timeouts> (to, SndTimeout, RcvTimeout) * L4_Send (to) * L4_Send<_Timeout> (to, SndTimeout) * L4_Reply (to) * L4_Receive (from) * L4_Receive<_Timeout> (from, RcvTimeout) * L4_Wait (&from) * L4_Wait<_Timeout> (RcvTimeout, &from) * L4_ReplyWait (to, &from) * L4_ReplyWait<_Timeout> (to, RcvTimeout, &from) * L4_Sleep (time) * L4_Lcall (to) * L4_Lreply_Wait (to, &from) * */