Listing 2
L4_INLINE L4_MsgTag_t L4_Call_Timeouts (L4_ThreadId_t to, L4_Time_t SndTimeout, L4_Time_t RcvTimeout) { L4_ThreadId_t dummy; return L4_Ipc (to, to, L4_Timeouts (SndTimeout, RcvTimeout), &dummy); } #if defined(__cplusplus) L4_INLINE L4_MsgTag_t L4_Call (L4_ThreadId_t to, L4_Time_t SndTimeout, L4_Time_t RcvTimeout) { return L4_Call_Timeouts (to, SndTimeout, RcvTimeout); } #endif L4_INLINE L4_MsgTag_t L4_Call (L4_ThreadId_t to) { return L4_Call_Timeouts (to, L4_Never, L4_Never); }