[ipxe-devel] [PATCH] [EFI] Dynamically determine EFI tick count

Leendert van Doorn leendert at paramecium.org
Mon Jun 13 06:03:37 UTC 2016


UEFI timer ticks vary per implementation. Fortunately there is an architectural
timer protocol through which we can query the tick period. This patch removes
the hard coded tick setting for EFI and replaces it with code that sets it
dynamically.

Signed-of-by: Leendert van Doorn <leendert at paramecium.org>
---
 src/include/ipxe/efi/Protocol/Timer.h | 182 ++++++++++++++++++++++++++++++++++
 src/include/ipxe/efi/efi.h            |   1 +
 src/include/ipxe/efi/efi_timer.h      |  11 +-
 src/interface/efi/efi_debug.c         |   2 +
 src/interface/efi/efi_guid.c          |   5 +
 src/interface/efi/efi_timer.c         |  34 ++++++-
 6 files changed, 224 insertions(+), 11 deletions(-)
 create mode 100644 src/include/ipxe/efi/Protocol/Timer.h

diff --git a/src/include/ipxe/efi/Protocol/Timer.h b/src/include/ipxe/efi/Protocol/Timer.h
new file mode 100644
index 0000000..e74996d
--- /dev/null
+++ b/src/include/ipxe/efi/Protocol/Timer.h
@@ -0,0 +1,182 @@
+/** @file
+  Timer Architectural Protocol as defined in PI Specification VOLUME 2 DXE
+
+  This code is used to provide the timer tick for the DXE core.
+
+  Copyright (c) 2006 - 2008, Intel Corporation. All rights reserved.<BR>
+  This program and the accompanying materials                          
+  are licensed and made available under the terms and conditions of the BSD License         
+  which accompanies this distribution.  The full text of the license may be found at        
+  http://opensource.org/licenses/bsd-license.php                                            
+
+  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,                     
+  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.             
+
+**/
+
+#ifndef __ARCH_PROTOCOL_TIMER_H__
+#define __ARCH_PROTOCOL_TIMER_H__
+
+FILE_LICENCE ( BSD3 );
+
+///
+/// Global ID for the Timer Architectural Protocol
+///
+#define EFI_TIMER_ARCH_PROTOCOL_GUID \
+  { 0x26baccb3, 0x6f42, 0x11d4, {0xbc, 0xe7, 0x0, 0x80, 0xc7, 0x3c, 0x88, 0x81 } }
+
+///
+/// Declare forward reference for the Timer Architectural Protocol
+///
+typedef struct _EFI_TIMER_ARCH_PROTOCOL   EFI_TIMER_ARCH_PROTOCOL;
+
+/**
+  This function of this type is called when a timer interrupt fires.  This 
+  function executes at TPL_HIGH_LEVEL.  The DXE Core will register a funtion
+  of this type to be called for the timer interrupt, so it can know how much 
+  time has passed.  This information is used to signal timer based events.  
+
+  @param  Time   Time since the last timer interrupt in 100 ns units. This will
+                 typically be TimerPeriod, but if a timer interrupt is missed, and the
+                 EFI_TIMER_ARCH_PROTOCOL driver can detect missed interrupts, then Time
+                 will contain the actual amount of time since the last interrupt.
+
+  None.
+
+**/
+typedef
+VOID
+(EFIAPI *EFI_TIMER_NOTIFY)(
+  IN UINT64  Time
+  );
+
+/**
+  This function registers the handler NotifyFunction so it is called every time 
+  the timer interrupt fires.  It also passes the amount of time since the last 
+  handler call to the NotifyFunction.  If NotifyFunction is NULL, then the 
+  handler is unregistered.  If the handler is registered, then EFI_SUCCESS is 
+  returned.  If the CPU does not support registering a timer interrupt handler, 
+  then EFI_UNSUPPORTED is returned.  If an attempt is made to register a handler 
+  when a handler is already registered, then EFI_ALREADY_STARTED is returned.  
+  If an attempt is made to unregister a handler when a handler is not registered, 
+  then EFI_INVALID_PARAMETER is returned.  If an error occurs attempting to 
+  register the NotifyFunction with the timer interrupt, then EFI_DEVICE_ERROR 
+  is returned.
+
+  @param  This             The EFI_TIMER_ARCH_PROTOCOL instance.
+  @param  NotifyFunction   The function to call when a timer interrupt fires. This
+                           function executes at TPL_HIGH_LEVEL. The DXE Core will
+                           register a handler for the timer interrupt, so it can know
+                           how much time has passed. This information is used to
+                           signal timer based events. NULL will unregister the handler.
+
+  @retval EFI_SUCCESS           The timer handler was registered.
+  @retval EFI_UNSUPPORTED       The platform does not support timer interrupts.
+  @retval EFI_ALREADY_STARTED   NotifyFunction is not NULL, and a handler is already
+                                registered.
+  @retval EFI_INVALID_PARAMETER NotifyFunction is NULL, and a handler was not
+                                previously registered.
+  @retval EFI_DEVICE_ERROR      The timer handler could not be registered.
+
+**/
+typedef 
+EFI_STATUS
+(EFIAPI *EFI_TIMER_REGISTER_HANDLER)(
+  IN EFI_TIMER_ARCH_PROTOCOL    *This,
+  IN EFI_TIMER_NOTIFY           NotifyFunction
+);
+
+/**
+  This function adjusts the period of timer interrupts to the value specified 
+  by TimerPeriod.  If the timer period is updated, then the selected timer 
+  period is stored in EFI_TIMER.TimerPeriod, and EFI_SUCCESS is returned.  If 
+  the timer hardware is not programmable, then EFI_UNSUPPORTED is returned.  
+  If an error occurs while attempting to update the timer period, then the 
+  timer hardware will be put back in its state prior to this call, and 
+  EFI_DEVICE_ERROR is returned.  If TimerPeriod is 0, then the timer interrupt 
+  is disabled.  This is not the same as disabling the CPU's interrupts.  
+  Instead, it must either turn off the timer hardware, or it must adjust the 
+  interrupt controller so that a CPU interrupt is not generated when the timer 
+  interrupt fires. 
+
+  @param  This             The EFI_TIMER_ARCH_PROTOCOL instance.
+  @param  TimerPeriod      The rate to program the timer interrupt in 100 nS units. If
+                           the timer hardware is not programmable, then EFI_UNSUPPORTED is
+                           returned. If the timer is programmable, then the timer period
+                           will be rounded up to the nearest timer period that is supported
+                           by the timer hardware. If TimerPeriod is set to 0, then the
+                           timer interrupts will be disabled.
+
+  @retval EFI_SUCCESS           The timer period was changed.
+  @retval EFI_UNSUPPORTED       The platform cannot change the period of the timer interrupt.
+  @retval EFI_DEVICE_ERROR      The timer period could not be changed due to a device error.
+
+**/
+typedef 
+EFI_STATUS
+(EFIAPI *EFI_TIMER_SET_TIMER_PERIOD)(
+  IN EFI_TIMER_ARCH_PROTOCOL    *This,
+  IN UINT64                     TimerPeriod
+  );
+
+/**
+  This function retrieves the period of timer interrupts in 100 ns units, 
+  returns that value in TimerPeriod, and returns EFI_SUCCESS.  If TimerPeriod 
+  is NULL, then EFI_INVALID_PARAMETER is returned.  If a TimerPeriod of 0 is 
+  returned, then the timer is currently disabled.
+
+  @param  This             The EFI_TIMER_ARCH_PROTOCOL instance.
+  @param  TimerPeriod      A pointer to the timer period to retrieve in 100 ns units. If
+                           0 is returned, then the timer is currently disabled.
+
+  @retval EFI_SUCCESS           The timer period was returned in TimerPeriod.
+  @retval EFI_INVALID_PARAMETER TimerPeriod is NULL.
+
+**/
+typedef 
+EFI_STATUS
+(EFIAPI *EFI_TIMER_GET_TIMER_PERIOD)(
+  IN EFI_TIMER_ARCH_PROTOCOL      *This,
+  OUT UINT64                      *TimerPeriod
+  );
+
+/**
+  This function generates a soft timer interrupt. If the platform does not support soft 
+  timer interrupts, then EFI_UNSUPPORTED is returned. Otherwise, EFI_SUCCESS is returned. 
+  If a handler has been registered through the EFI_TIMER_ARCH_PROTOCOL.RegisterHandler() 
+  service, then a soft timer interrupt will be generated. If the timer interrupt is 
+  enabled when this service is called, then the registered handler will be invoked. The 
+  registered handler should not be able to distinguish a hardware-generated timer 
+  interrupt from a software-generated timer interrupt.
+
+  @param  This                  The EFI_TIMER_ARCH_PROTOCOL instance.
+
+  @retval EFI_SUCCESS           The soft timer interrupt was generated.
+  @retval EFI_UNSUPPORTEDT      The platform does not support the generation of soft timer interrupts.
+
+**/
+typedef 
+EFI_STATUS
+(EFIAPI *EFI_TIMER_GENERATE_SOFT_INTERRUPT)(
+  IN EFI_TIMER_ARCH_PROTOCOL    *This
+  );
+
+
+///
+/// This protocol provides the services to initialize a periodic timer 
+/// interrupt, and to register a handler that is called each time the timer
+/// interrupt fires.  It may also provide a service to adjust the rate of the
+/// periodic timer interrupt.  When a timer interrupt occurs, the handler is 
+/// passed the amount of time that has passed since the previous timer 
+/// interrupt.
+///
+struct _EFI_TIMER_ARCH_PROTOCOL {
+  EFI_TIMER_REGISTER_HANDLER          RegisterHandler;
+  EFI_TIMER_SET_TIMER_PERIOD          SetTimerPeriod;
+  EFI_TIMER_GET_TIMER_PERIOD          GetTimerPeriod;
+  EFI_TIMER_GENERATE_SOFT_INTERRUPT   GenerateSoftInterrupt;
+};
+
+extern EFI_GUID gEfiTimerArchProtocolGuid;
+
+#endif
diff --git a/src/include/ipxe/efi/efi.h b/src/include/ipxe/efi/efi.h
index db9943a..8fd3850 100644
--- a/src/include/ipxe/efi/efi.h
+++ b/src/include/ipxe/efi/efi.h
@@ -196,6 +196,7 @@ extern EFI_GUID efi_simple_text_output_protocol_guid;
 extern EFI_GUID efi_tcg_protocol_guid;
 extern EFI_GUID efi_tcp4_protocol_guid;
 extern EFI_GUID efi_tcp4_service_binding_protocol_guid;
+extern EFI_GUID efi_timer_arch_protocol_guid;
 extern EFI_GUID efi_tree_protocol_guid;
 extern EFI_GUID efi_udp4_protocol_guid;
 extern EFI_GUID efi_udp4_service_binding_protocol_guid;
diff --git a/src/include/ipxe/efi/efi_timer.h b/src/include/ipxe/efi/efi_timer.h
index c498759..9bddf26 100644
--- a/src/include/ipxe/efi/efi_timer.h
+++ b/src/include/ipxe/efi/efi_timer.h
@@ -16,13 +16,6 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 #endif
 
 /**
- * Number of ticks per second
- *
- * This is a policy decision.
- */
-#define EFI_TICKS_PER_SEC 20
-
-/**
  * Get number of ticks per second
  *
  * @ret ticks_per_sec	Number of ticks per second
@@ -30,7 +23,9 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 static inline __attribute__ (( always_inline )) unsigned long
 TIMER_INLINE ( efi, ticks_per_sec ) ( void ) {
 
-	return EFI_TICKS_PER_SEC;
+	extern unsigned long efi_ticks_per_sec;
+
+	return efi_ticks_per_sec;
 }
 
 #endif /* _IPXE_EFI_TIMER_H */
diff --git a/src/interface/efi/efi_debug.c b/src/interface/efi/efi_debug.c
index 19531fd..6c50535 100644
--- a/src/interface/efi/efi_debug.c
+++ b/src/interface/efi/efi_debug.c
@@ -157,6 +157,8 @@ static struct efi_well_known_guid efi_well_known_guids[] = {
 	  "Tcp4" },
 	{ &efi_tcp4_service_binding_protocol_guid,
 	  "Tcp4Sb" },
+	{ &efi_timer_arch_protocol_guid,
+	  "Timer" },
 	{ &efi_tree_protocol_guid,
 	  "TrEE" },
 	{ &efi_udp4_protocol_guid,
diff --git a/src/interface/efi/efi_guid.c b/src/interface/efi/efi_guid.c
index 62ee5a5..946f151 100644
--- a/src/interface/efi/efi_guid.c
+++ b/src/interface/efi/efi_guid.c
@@ -60,6 +60,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 #include <ipxe/efi/Protocol/SimpleTextOut.h>
 #include <ipxe/efi/Protocol/TcgService.h>
 #include <ipxe/efi/Protocol/Tcp4.h>
+#include <ipxe/efi/Protocol/Timer.h>
 #include <ipxe/efi/Protocol/Udp4.h>
 #include <ipxe/efi/Protocol/UgaDraw.h>
 #include <ipxe/efi/Protocol/UnicodeCollation.h>
@@ -253,6 +254,10 @@ EFI_GUID efi_tcp4_protocol_guid
 EFI_GUID efi_tcp4_service_binding_protocol_guid
 	= EFI_TCP4_SERVICE_BINDING_PROTOCOL_GUID;
 
+/** Timer Architectural Protocol GUID */
+EFI_GUID efi_timer_arch_protocol_guid
+	= EFI_TIMER_ARCH_PROTOCOL_GUID;
+
 /** TrEE protocol GUID */
 EFI_GUID efi_tree_protocol_guid
 	= EFI_TREE_PROTOCOL_GUID;
diff --git a/src/interface/efi/efi_timer.c b/src/interface/efi/efi_timer.c
index a574e20..027b611 100644
--- a/src/interface/efi/efi_timer.c
+++ b/src/interface/efi/efi_timer.c
@@ -29,6 +29,8 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 #include <ipxe/timer.h>
 #include <ipxe/init.h>
 #include <ipxe/efi/efi.h>
+#include <ipxe/efi/efi_timer.h>
+#include <ipxe/efi/Protocol/Timer.h>
 
 /** @file
  *
@@ -42,6 +44,9 @@ static unsigned long efi_jiffies;
 /** Timer tick event */
 static EFI_EVENT efi_tick_event;
 
+/** Ticks per second */
+unsigned long efi_ticks_per_sec;
+
 /** Colour for debug messages */
 #define colour &efi_jiffies
 
@@ -92,9 +97,32 @@ static EFIAPI void efi_tick ( EFI_EVENT event __unused,
  */
 static void efi_tick_startup ( void ) {
 	EFI_BOOT_SERVICES *bs = efi_systab->BootServices;
+	EFI_TIMER_ARCH_PROTOCOL *timer;
 	EFI_STATUS efirc;
+	uint64_t period;
 	int rc;
 
+        /* Locate architectural timer protocol */
+        if ( ( efirc = bs->LocateProtocol ( &efi_timer_arch_protocol_guid,
+                                            NULL, (void **)&timer ) ) != 0 ) {
+                rc = -EEFI ( efirc );
+                DBGC ( colour, "EFI could not locate architectural timer "
+                       "protocol: %s\n", strerror ( rc ) );
+                return;
+        }
+
+        /* Get timer period in 100ns ticks */
+        if ( ( efirc = timer->GetTimerPeriod( timer, &period ) ) != 0) {
+                rc = -EEFI ( efirc );
+                DBGC ( colour, "EFI could not get timer period: %s\n",
+                       strerror ( rc ) );
+                return;
+	}
+        DBGC ( colour, "EFI timer period = %lld\n", period);
+
+	/* Determine ticks per seconds */
+	efi_ticks_per_sec = 10000000 / period;
+
 	/* Create timer tick event */
 	if ( ( efirc = bs->CreateEvent ( ( EVT_TIMER | EVT_NOTIFY_SIGNAL ),
 					 TPL_CALLBACK, efi_tick, NULL,
@@ -108,15 +136,15 @@ static void efi_tick_startup ( void ) {
 
 	/* Start timer tick */
 	if ( ( efirc = bs->SetTimer ( efi_tick_event, TimerPeriodic,
-				      ( 10000000 / EFI_TICKS_PER_SEC ) ) ) !=0){
+				      ( 10000000 / efi_ticks_per_sec ) ) ) !=0){
 		rc = -EEFI ( efirc );
 		DBGC ( colour, "EFI could not start timer tick: %s\n",
 		       strerror ( rc ) );
 		/* Nothing we can do about it */
 		return;
 	}
-	DBGC ( colour, "EFI timer started at %d ticks per second\n",
-	       EFI_TICKS_PER_SEC );
+	DBGC ( colour, "EFI timer started at %ld ticks per second\n",
+	       efi_ticks_per_sec );
 }
 
 /**
-- 
2.5.5




More information about the ipxe-devel mailing list