On Fri, Dec 11, 2009 at 08:50, Jakub Jelinek <jakub@redhat.com> wrote:
> Here is roughly what I meant (your 3 patches combined, adjusted by me).

Thanks for the patch.

I have discussed with other people internally and they highly
recommended that we do not define the intrinsics for llwpcb and slwpcb
as "void const *", but just "void *" as the address of the PCB is
susceptible to be changed by the hardware.  See attached patch on top
of yours.

Sebastian