Changeset 279 for trunk/hal/generic

Timestamp:

Jul 27, 2017, 12:23:29 AM (7 years ago)

Author:

alain

Message:

1) Introduce independant command fields for the various devices in the thread descriptor.
2) Introduce a new dev_pic_enable_ipi() function in the generic PIC device
3) Fix two bugs identified by Maxime in the scheduler initialisation, and in the sched_select().
4) fix several bugs in the TSAR hal_kentry.S.
5) Introduce a third kgiet segment (besides kdata and kcode) in the TSAR bootloader.

Location:

trunk/hal/generic

Files:

• hal_irqmask.h (modified) (1 diff)
• hal_special.h (modified) (1 diff)

trunk/hal/generic/hal_irqmask.h

@@ -38 +38 @@
 /*****************************************************************************************
  * This function disables all IRQs, and saves the CPU SR state if required.
- * TODO : Warning this function discards the CU3 access bit 
  *****************************************************************************************
  * @ old    : address of buffer to save the SR (no save if NULL).

trunk/hal/generic/hal_special.h

@@ -36 +36 @@
 // ALMOS-MKH uses the following API to access the MMU and other core protected registers.
 ///////////////////////////////////////////////////////////////////////////////////////////
+
+/*****************************************************************************************
+ * This function returns the calling core status register value.
+ ****************************************************************************************/
+inline reg_t hal_get_sr();
 
 /*****************************************************************************************