On Thu, Jan 02, 2014 at 09:19:30AM -0800, Christoffer Dall wrote: > > > How is this going to be used here? The compat ptr stuff in the kernel > > > deals with user space pointer iirc, but I'm not an expert on the > > > details. Does typedef'ing a pointer to a u32 in generic code work on a > > > 64-bit platform? > > > > This is necessary to eliminate compiler warnings when casting 64-bit > > pointers to u32s. > > > > ah, ok, a comment to that effect would be nice for us neandertals still > mostly stuck in the 32-bit worlds. OK > > You should take a look, as they're not verbatim - although almost. I can't > > recall where I might have diverged, I just know I didn't copy+paste :-) > > > > Wonderful, I'll take a look :) Thanks!! _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
