[PATCH 07/15] Use semget syscall for Linux implementation

[Joseph Myers]

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