From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 39331 invoked by alias); 1 Nov 2016 17:35:58 -0000 Mailing-List: contact libc-alpha-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: libc-alpha-owner@sourceware.org Received: (qmail 39303 invoked by uid 89); 1 Nov 2016 17:35:57 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_NONE,SPF_PASS,URIBL_RED autolearn=ham version=3.3.2 spammy= X-HELO: relay1.mentorg.com Date: Tue, 01 Nov 2016 17:35:00 -0000 From: Joseph Myers To: Adhemerval Zanella CC: Andreas Schwab , Subject: Re: [PATCH 07/15] Use semget syscall for Linux implementation In-Reply-To: <0b9aa220-370a-a196-8640-a65b46b3c344@linaro.org> Message-ID: References: <1478010323-13076-1-git-send-email-adhemerval.zanella@linaro.org> <1478010323-13076-8-git-send-email-adhemerval.zanella@linaro.org> <87bmxzw6wn.fsf@linux-m68k.org> <0b9aa220-370a-a196-8640-a65b46b3c344@linaro.org> User-Agent: Alpine 2.20 (DEB 67 2015-01-07) MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" X-ClientProxiedBy: svr-ies-mbx-01.mgc.mentorg.com (139.181.222.1) To svr-ies-mbx-01.mgc.mentorg.com (139.181.222.1) X-SW-Source: 2016-11/txt/msg00043.txt.bz2 On Tue, 1 Nov 2016, Adhemerval Zanella wrote: > Indeed, I did not consider the case of latest kernel headers. Based > on current Linux approach and historical implementation for sysv IPC > I think we can assume that either the kernel only supports the old > 'ipc' syscall or all the sysvipc syscall wire-up. Do you know if we > do require an __ASSUME for each syscall? If your analysis shows that all the syscalls were always wired up (in both places, syscall table and asm/unistd.h) at the same time, you can just use a single __ASSUME (or if by mistake some architectures were only partially wired up, you could still use a single __ASSUME if it's conservatively safe). -- Joseph S. Myers joseph@codesourcery.com