On Tue, Jan 01, 2013 at 09:34:16AM -0800, H. Peter Anvin wrote: > Yes, but stylistically: we don't use uintptr_t in Linux, but rather > "unsigned long". Hmmkay, Stefan, care to redo your patch and sum up this discussion to the commit message for further reference? Btw, there is some funny usage of uintptr_t in arch/x86/include/asm/xor_avx.h and since this is not an uapi header, they need to be converted to unsigned long too, methinks. Thanks. -- Regards/Gruss, Boris. -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html