Changeset 279 for trunk/kernel/kern/core.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/core.h (modified) (1 diff)

trunk/kernel/kern/core.h

@@ -56 +56 @@
         uint32_t            usage;          /*! cumulated busy_percent (idle / total)      */
         uint32_t            spurious_irqs;  /*! for instrumentation...                     */
-    uint32_t            rpc_threads;    /*! current RPC threads number for this core   */
-        struct thread_s   * thread_rpc;     /*! pointer on current RPC thread descriptor   */
         struct thread_s   * thread_idle;    /*! pointer on idle thread descriptor          */
         struct thread_s   * fpu_owner;      /*! pointer on current FPU owner thread        */