From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <samuel.thibault@gnu.org>
Received: from hera.aquilenet.fr (hera.aquilenet.fr [185.233.100.1])
 by sourceware.org (Postfix) with ESMTPS id D219C383F86C
 for <gdb-patches@sourceware.org>; Sat, 30 May 2020 18:30:50 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org D219C383F86C
Authentication-Results: sourceware.org;
 dmarc=none (p=none dis=none) header.from=gnu.org
Authentication-Results: sourceware.org;
 spf=fail smtp.mailfrom=samuel.thibault@gnu.org
Received: from localhost (localhost [127.0.0.1])
 by hera.aquilenet.fr (Postfix) with ESMTP id 890FE7D3A;
 Sat, 30 May 2020 20:30:49 +0200 (CEST)
X-Virus-Scanned: Debian amavisd-new at aquilenet.fr
Received: from hera.aquilenet.fr ([127.0.0.1])
 by localhost (hera.aquilenet.fr [127.0.0.1]) (amavisd-new, port 10024)
 with ESMTP id ulSFrsf3gXQl; Sat, 30 May 2020 20:30:48 +0200 (CEST)
Received: from function.home (unknown
 [IPv6:2a01:cb19:956:1b00:9eb6:d0ff:fe88:c3c7])
 by hera.aquilenet.fr (Postfix) with ESMTPSA id 2BF4B3E6E;
 Sat, 30 May 2020 20:30:48 +0200 (CEST)
Received: from samy by function.home with local (Exim 4.93)
 (envelope-from <samuel.thibault@gnu.org>)
 id 1jf6Fr-00AA26-5w; Sat, 30 May 2020 20:30:47 +0200
Date: Sat, 30 May 2020 20:30:47 +0200
From: Samuel Thibault <samuel.thibault@gnu.org>
To: gdb-patches@sourceware.org, Simon Marchi <simark@simark.ca>,
 Thomas Schwinge <thomas@codesourcery.com>, thomas@schwinge.name,
 bug-hurd@gnu.org
Subject: Re: [PATCH] hurd: Add shared mig declarations
Message-ID: <20200530183047.wxdfoqcpyj76epxo@function>
Mail-Followup-To: gdb-patches@sourceware.org, Simon Marchi <simark@simark.ca>,
 Thomas Schwinge <thomas@codesourcery.com>, thomas@schwinge.name,
 bug-hurd@gnu.org
References: <20200530182318.hh3k7uuhvhfrqo5g@function>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20200530182318.hh3k7uuhvhfrqo5g@function>
Organization: I am not organized
User-Agent: NeoMutt/20170609 (1.8.3)
X-Spam-Status: No, score=-5.3 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 SPF_HELO_PASS, SPF_SOFTFAIL,
 TXREP autolearn=no autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: gdb-patches@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gdb-patches mailing list <gdb-patches.sourceware.org>
List-Unsubscribe: <http://sourceware.org/mailman/options/gdb-patches>,
 <mailto:gdb-patches-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-request@sourceware.org?subject=help>
List-Subscribe: <http://sourceware.org/mailman/listinfo/gdb-patches>,
 <mailto:gdb-patches-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Sat, 30 May 2020 18:30:51 -0000

Samuel Thibault, le sam. 30 mai 2020 20:23:18 +0200, a ecrit:
> +boolean_t exc_server (mach_msg_header_t *InHeadP, mach_msg_header_t *OutHeadP);
> +boolean_t msg_reply_server (mach_msg_header_t *InHeadP,
> +			    mach_msg_header_t *OutHeadP)
> +boolean_t notify_server (mach_msg_header_t *InHeadP,
> +			 mach_msg_header_t *OutHeadP)
> +boolean_t process_reply_server (mach_msg_header_t *InHeadP,
> +				mach_msg_header_t *OutHeadP)

Sorry, it was not refreshed. There are ';' at the end of these three
lines of course.