From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1754680AbcKUPlH (ORCPT ); Mon, 21 Nov 2016 10:41:07 -0500 Received: from smtprelay0092.hostedemail.com ([216.40.44.92]:41551 "EHLO smtprelay.hostedemail.com" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1752580AbcKUPlG (ORCPT ); Mon, 21 Nov 2016 10:41:06 -0500 X-Session-Marker: 726F737465647440676F6F646D69732E6F7267 X-Spam-Summary: 2,0,0,,d41d8cd98f00b204,rostedt@goodmis.org,:::::::::::::::::::,RULES_HIT:41:355:379:541:599:800:960:973:982:988:989:1260:1277:1311:1313:1314:1345:1359:1431:1437:1515:1516:1518:1534:1541:1593:1594:1711:1730:1747:1777:1792:1981:2194:2199:2393:2553:2559:2562:3138:3139:3140:3141:3142:3352:3622:3865:3866:3867:3868:3871:3873:4250:4321:5007:6120:6261:7875:7903:7974:10004:10400:10848:10967:11026:11232:11657:11658:11914:12043:12291:12296:12438:12555:12663:12683:12740:12760:13069:13311:13357:13439:14096:14097:14181:14659:14721:21080:21212:21325:21451:30034:30054:30064:30090:30091,0,RBL:none,CacheIP:none,Bayesian:0.5,0.5,0.5,Netcheck:none,DomainCache:0,MSF:not bulk,SPF:fn,MSBL:0,DNSBL:none,Custom_rules:0:0:0,LFtime:1,LUA_SUMMARY:none X-HE-Tag: fear16_7dbed547e0616 X-Filterd-Recvd-Size: 2457 Date: Mon, 21 Nov 2016 10:41:02 -0500 From: Steven Rostedt To: alexander.levin@verizon.com Cc: "dvyukov@google.com" , "tglx@linutronix.de" , "scientist@fb.com" , "glider@google.com" , "andreyknvl@google.com" , "arnd@arndb.de" , "mathieu.desnoyers@efficios.com" , "daniel.vetter@ffwll.ch" , "linux-kernel@vger.kernel.org" Subject: Re: [RFC 1/3] abi_spec: basic definitions of constraints, args and syscalls Message-ID: <20161121104102.2b244311@gandalf.local.home> In-Reply-To: <1479317803-17220-2-git-send-email-alexander.levin@verizon.com> References: <1479317803-17220-1-git-send-email-alexander.levin@verizon.com> <1479317803-17220-2-git-send-email-alexander.levin@verizon.com> X-Mailer: Claws Mail 3.14.0 (GTK+ 2.24.31; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, 16 Nov 2016 17:37:00 +0000 alexander.levin@verizon.com wrote: > This is a very simple definition of the syscall ABI we can build on. The idea > is to have a generic description of syscalls, their arguments and return > values we can use to audit the kernel's implementation vs the specs. > > Signed-off-by: Sasha Levin > --- > include/uapi/linux/abi_spec.h | 58 +++++++++++++++++++++++++++++++++++++++++++ > 1 file changed, 58 insertions(+) > create mode 100644 include/uapi/linux/abi_spec.h > > diff --git a/include/uapi/linux/abi_spec.h b/include/uapi/linux/abi_spec.h > new file mode 100644 > index 0000000..ad1a992 > --- /dev/null > +++ b/include/uapi/linux/abi_spec.h > @@ -0,0 +1,58 @@ > +#ifndef ABI_SPEC_H_ > +#define ABI_SPEC_H_ > + > +#include > +#include > +#define MAX_CONSTRAINTS 10 > +#define MAX_ARGS 10 > + I'm curious to where you picked the number 10 from? Actually, I was doing some work with the syscall_get_arguments() and the max syscall arguments is currently set to 6. Anything greater causes a bug. -- Steve