Re: [PATCH 2/4 -v5] x86_64 EFI runtime service support: EFI runtime services

!MAILaRCHIVE_VOTE_RePLACE
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
To: Huang, Ying <ying.huang@...>
Cc: <akpm@...>, H. Peter Anvin <hpa@...>, Thomas Gleixner <tglx@...>, Ingo Molnar <mingo@...>, Andi Kleen <ak@...>, Eric W. Biederman <ebiederm@...>, Chandramouli Narayanan <mouli@...>, <linux-kernel@...>
Date: Tuesday, October 30, 2007 - 11:58 am

On Tuesday 30 October 2007 05:55, Huang, Ying wrote:

mach_get_cmos_time() is itself an inline, and a _large_ one
(~20 LOC with macro and function calls).

efi_get_time() is an inline too, although strange one:
it is declared inline *only* in efi.c file:
      inline unsigned long efi_get_time(void)
(yes, just inline, not static/extern),
while efi.h has normal extern for it:
      extern unsigned long efi_get_time(void);

Is it supposed to be like that?


Same here, only mach_set_rtc_mmss is 50 LOC, not 20.
--
vda
-
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
Re: [PATCH 2/4 -v5] x86_64 EFI runtime service support: EFI ..., Denys Vlasenko, (Tue Oct 30, 11:58 am)