On Tue, Apr 23, 2019 at 11:36:10AM +0200, Juergen Gross wrote: > On 23/04/2019 11:28, Roger Pau Monne wrote: > > diff --git a/include/xen/xen-ops.h b/include/xen/xen-ops.h > > index 4969817124a8..51ef98e96d88 100644 > > --- a/include/xen/xen-ops.h > > +++ b/include/xen/xen-ops.h > > @@ -209,6 +209,7 @@ int xen_xlate_map_ballooned_pages(xen_pfn_t **pfns, void **vaddr, > > > > bool xen_running_on_version_or_later(unsigned int major, unsigned int minor); > > > > +#ifdef CONFIG_XEN_EFI > > efi_status_t xen_efi_get_time(efi_time_t *tm, efi_time_cap_t *tc); > > efi_status_t xen_efi_set_time(efi_time_t *tm); > > efi_status_t xen_efi_get_wakeup_time(efi_bool_t *enabled, efi_bool_t *pending, > > @@ -233,7 +234,12 @@ efi_status_t xen_efi_query_capsule_caps(efi_capsule_header_t **capsules, > > int *reset_type); > > void xen_efi_reset_system(int reset_type, efi_status_t status, > > unsigned long data_size, efi_char16_t *data); > > - > > +extern void xen_efi_init(struct boot_params *boot_params); > > +#else > > +static inline void __init xen_efi_init(struct boot_params *boot_params) > > Is struct boot_params defined on ARM? Seems to be defined for x86 and some mips only, so I will have to find another header. Will post v2 shortly. Thanks, Roger.