This is the mail archive of the
mailing list for the glibc project.
Re: [PATCH 07/15] Use semget syscall for Linux implementation
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
Joseph S. Myers