internal static extern Msgtag l4api_ipc_call(L4Handle dest, Pointer utcb, Msgtag tag, Timeout timeout);
public static extern Msgtag l4api_ipc_wait(Pointer utcb, out L4Handle src, Timeout timeout);
public static extern Msgtag l4api_ipc_send(L4Handle dest, Pointer utcb, Msgtag tag, Timeout timeout);
public static extern Msgtag l4api_ipc_send_and_wait(L4Handle dest, Pointer utcb, Msgtag tag, out L4Handle src, Timeout timeout);
private static Msgtag l4_stub_ipc_call(L4Handle dest, Msgtag tag, Timeout timeout) { return NativeMethods.l4api_ipc_call(dest, NativeMethods.l4api_utcb(), tag, timeout); }