Changeset 296 for trunk/hal/generic/hal_special.h

Timestamp:

Jul 31, 2017, 1:59:52 PM (7 years ago)

Author:

alain

Message:

Several modifs in the generic scheduler and in the hal_context to
fix the context switch mechanism.

File:

• trunk/hal/generic/hal_special.h (modified) (3 diffs)

trunk/hal/generic/hal_special.h

@@ -34 +34 @@
 //      Generic Special Registers Access API (implementation in hal_special.c)
 //
-// ALMOS-MKH uses the following API to access the MMU and other core protected registers.
+// ALMOS-MKH uses the following API to access the core protected registers.
 ///////////////////////////////////////////////////////////////////////////////////////////
 
@@ -50 +50 @@
  * This function returns the current value of the hardware cycles counter.
  ****************************************************************************************/
-inline cycle_t hal_time_stamp();
+inline reg_t hal_time_stamp();
 
 /*****************************************************************************************
- * This function returns the content of the calling core private cycles counter.
+ * This function returns the content of the calling core private cycles counter,
+ * taking into account overflow if the core hardware register is not 64 bits.
  * This cycle counter is reset when the core is initialised (at each boot).
- * If the hardware counter is not a 64 bits register, this function must handle overflow.
  ****************************************************************************************/
-uint64_t hal_get_cycles();
+cycle_t hal_get_cycles();
 
 /*****************************************************************************************
@@ -68 +68 @@
  ****************************************************************************************/
 void hal_set_current_thread( struct thread_s * thread );
+
+/*****************************************************************************************
+ * This function registers a new kentry base address in the relevant core register.
+ ****************************************************************************************/
+void hal_set_ebase( reg_t base );
 
 /*****************************************************************************************