Re: [PATCH] x86/time: Don't use EFI's GetTime call by default

[David Vrabel <david.vrabel@citrix.com>]

On 01/12/15 16:57, Ross Lagerwall wrote:
> When EFI is used, don't use EFI's GetTime() to get the time, because it
> is broken on many platforms.
[...]
> --- a/xen/arch/x86/time.c
> +++ b/xen/arch/x86/time.c
> @@ -679,20 +679,28 @@ static void __get_cmos_time(struct rtc_time *rtc)
>          rtc->year += 100;
>  }
>  
> +/* EFI's GetTime() is frequently broken so don't use it by default. */
> +#undef USE_EFI_GET_TIME
> +
>  static unsigned long get_cmos_time(void)
>  {
> -    unsigned long res, flags;
> +#ifdef USE_EFI_GET_TIME
> +    unsigned long res;
> +#endif

You could move this res into the if ( efi_enabled ) below.

> +    unsigned long flags;
>      struct rtc_time rtc;
>      unsigned int seconds = 60;
>      static bool_t __read_mostly cmos_rtc_probe;
>      boolean_param("cmos-rtc-probe", cmos_rtc_probe);
>  
> +#ifdef USE_EFI_GET_TIME
>      if ( efi_enabled )
>      {
>          res = efi_get_time();
>          if ( res )
>              return res;
>      }
> +#endif

David