On 01/03/2013 01:46 AM, Joel Brobecker wrote:
>> This patch addresses the problem Andreas saw by creating a variable
>> of type (void *). This way we are guaranteed to have the type we
>> need to reproduce the problem.
>
> I don't see a problem with that. But can you add a comment explaining
> why you are casting the register to void *?

Yes, of course.

How does this comment look?

Luis