>>> On 26.03.14 at 15:58, <stefano.stabellini@xxxxxxxxxxxxx> wrote: >> +struct xenpf_efi_runtime_call { >> + uint32_t function; >> + /* >> + * This field is generally used for per sub-function flags (defined >> + * below), except for the XEN_EFI_get_next_high_monotonic_count case, >> + * where it holds the single returned value. >> + */ >> + uint32_t misc; >> + unsigned long status; > > I realize that this is just the same as xen/include/public/platform.h, > but this field should be xen_ulong_t. Care to supply a patch to the canonical header? Jan -- 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