On Wed, 15 Apr, at 11:56:05AM, Roy Franz wrote: > Yeah, I guess it shouldn't surprise me that there is support for 64 > bit addresses there :) > > I'l spin another patch that sets boot_params->ext_cmd_line_ptr with > the upper 32 bits of the address. > Should I conditionalize this with #ifdef CONFIG_X86_64, or just do it > unconditionally, with it being a NOP > on 32 bit? (I guess I may end up with an extra cast for the 32 bit case) Unconditionally is best, I'm loathe to introduce #ifdefs unless absolutely necessary. Thanks! -- Matt Fleming, Intel Open Source Technology Center -- 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