On 11/25/07, Luca <luca.b633 at gmail.com> wrote: > 7.1. Add __attribute__((pointer_size(XXX))) and #pragma pointer_size > to allow 64-bit pointers in 32-bit mode and viceversa This is already there, try using __attribute__((mode(DI) )). -- Pinski