On 09/25/2013 03:24 PM, Ben Hutchings wrote:
> On Tue, 2013-09-24 at 13:43 -0700, Brian Silverman wrote: [...]
>> I got down to a really simple program that reproduces this bug:
>>
>>
>> #include <sys/syscall.h> #include <unistd.h> int main() { // I've
>> tried SYS_getpid, SYS_write, and SYS_read here too.
>> syscall(SYS_gettid); }
Brian, thank you for this excellent stripped down test case.
I think I know what is going on, will dig more later.
> Ben.
>
Sebastian
--
To UNSUBSCRIBE, email to debian-kernel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/52ae0419.3050...@linutronix.de
