Received: by mail.netbsd.org (Postfix, from userid 605)
	id 07CBD85671; Sat,  4 Feb 2017 13:36:08 +0000 (UTC)
Received: from localhost (localhost [127.0.0.1])
	by mail.netbsd.org (Postfix) with ESMTP id 84FDA85670
	for <source-changes@NetBSD.org>; Sat,  4 Feb 2017 13:36:07 +0000 (UTC)
X-Virus-Scanned: amavisd-new at netbsd.org
Received: from mail.netbsd.org ([127.0.0.1])
	by localhost (mail.netbsd.org [127.0.0.1]) (amavisd-new, port 10025)
	with ESMTP id t-FOxtKKeIji for <source-changes@netbsd.org>;
	Sat,  4 Feb 2017 13:36:07 +0000 (UTC)
Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197])
	by mail.netbsd.org (Postfix) with ESMTP id 3081E85573
	for <source-changes@NetBSD.org>; Sat,  4 Feb 2017 13:36:07 +0000 (UTC)
Received: by cvs.NetBSD.org (Postfix, from userid 500)
	id 2B51BFBE4; Sat,  4 Feb 2017 13:36:07 +0000 (UTC)
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
Content-Type: text/plain; charset="US-ASCII"
MIME-Version: 1.0
Date: Sat, 4 Feb 2017 13:36:07 +0000
From: "Roy Marples" <roy@netbsd.org>
Subject: CVS commit: src/sys/arch/i386/stand/efiboot
To: source-changes@NetBSD.org
X-Mailer: log_accum
Message-Id: <20170204133607.2B51BFBE4@cvs.NetBSD.org>
Sender: source-changes-owner@NetBSD.org
List-Id: source-changes.NetBSD.org
Precedence: bulk
Reply-To: source-changes-d@NetBSD.org
Mail-Reply-To: "Roy Marples" <roy@netbsd.org>
Mail-Followup-To: source-changes-d@NetBSD.org

Module Name:	src
Committed By:	roy
Date:		Sat Feb  4 13:36:07 UTC 2017

Modified Files:
	src/sys/arch/i386/stand/efiboot: Makefile.efiboot panic.c

Log Message:
Mark reboot() and _rtt() as __dead.
Use __builtin_unreachable() to ensure Panic really is marked dead.

Thanks to joerg@


To generate a diff of this commit:
cvs rdiff -u -r1.2 -r1.3 src/sys/arch/i386/stand/efiboot/Makefile.efiboot
cvs rdiff -u -r1.1 -r1.2 src/sys/arch/i386/stand/efiboot/panic.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.