Changeset 279 for trunk/kernel/kern/thread.h

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.

File:

• trunk/kernel/kern/thread.h (modified) (1 diff)

trunk/kernel/kern/thread.h

@@ -213 +213 @@
 
     uint32_t            dev_channel;     /*! device channel for a DEV thread          */
-    union                                /*! embedded command for a DEV thread        */
-    {
-        ioc_command_t   ioc;             /*! IOC device generic command               */
-        txt_command_t   txt;             /*! TXT device generic command               */
-        nic_command_t   nic;             /*! NIC device generic command               */
-        mmc_command_t   mmc;             /*! MMC device generic command               */
-        dma_command_t   dma;             /*! DMA device generic command               */
-    }
-    command;
+
+    ioc_command_t       ioc_cmd;         /*! IOC device generic command               */
+    txt_command_t       txt_cmd;         /*! TXT device generic command               */
+    nic_command_t       nic_cmd;         /*! NIC device generic command               */
+    mmc_command_t       mmc_cmd;         /*! MMC device generic command               */
+    dma_command_t       dma_cmd;         /*! DMA device generic command               */
 
         cxy_t               rpc_client_cxy;  /*! client cluster index (for a RPC thread)  */