Changeset 443 for trunk/kernel/kern/core.h
- Timestamp:
- May 16, 2018, 4:15:22 PM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/kernel/kern/core.h
r409 r443 57 57 uint32_t usage; /*! cumulated busy_percent (idle / total) */ 58 58 uint32_t spurious_irqs; /*! for instrumentation... */ 59 struct thread_s * thread_idle; /*! pointer on idle thread descriptor */60 59 struct thread_s * fpu_owner; /*! pointer on current FPU owner thread */ 61 60 uint32_t rand_last; /*! last computed random value */
Note: See TracChangeset
for help on using the changeset viewer.