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 from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
