Changes in kernel/generic/include/sysinfo/abi.h [bd01a4e:d0c82c5] in mainline

File:

• kernel/generic/include/sysinfo/abi.h (modified) (4 diffs)

kernel/generic/include/sysinfo/abi.h

@@ -38 +38 @@
 
 /** Number of load components */
-#define LOAD_STEPS        3
+#define LOAD_STEPS  3
 
-/** Maximum task name size */
+/** Maximum name sizes */
 #define TASK_NAME_BUFLEN  20
+#define EXC_NAME_BUFLEN   20
 
 /** Thread states */
@@ -65 +66 @@
  */
 typedef struct {
-        unsigned int id;         /**< CPU ID as stored by kernel */
+        size_t id;               /**< CPU ID as stored by kernel */
         bool active;             /**< CPU is activate */
         uint16_t frequency_mhz;  /**< Frequency in MHz */
-        uint64_t idle_ticks;     /**< Number of idle kernel quanta */
-        uint64_t busy_ticks;     /**< Number of busy kernel quanta */
+        uint64_t idle_cycles;    /**< Number of idle cycles */
+        uint64_t busy_cycles;    /**< Number of busy cycles */
 } stats_cpu_t;
 
@@ -89 +90 @@
 typedef struct {
         uint64_t call_sent;           /**< IPC calls sent */
-        uint64_t call_recieved;       /**< IPC calls received */
+        uint64_t call_received;       /**< IPC calls received */
         uint64_t answer_sent;         /**< IPC answers sent */
-        uint64_t answer_recieved;     /**< IPC answers received */
-        uint64_t irq_notif_recieved;  /**< IPC IRQ notifications */
+        uint64_t answer_received;     /**< IPC answers received */
+        uint64_t irq_notif_received;  /**< IPC IRQ notifications */
         uint64_t forwarded;           /**< IPC messages forwarded */
 } stats_ipc_t;
@@ -123 +124 @@
 } stats_thread_t;
 
+/** Statistics about a single exception
+ *
+ */
+typedef struct {
+        unsigned int id;             /**< Exception ID */
+        char desc[EXC_NAME_BUFLEN];  /**< Description */
+        bool hot;                    /**< Active or inactive exception */
+        uint64_t cycles;             /**< Number of CPU cycles in the handler */
+        uint64_t count;              /**< Number of handled exceptions */
+} stats_exc_t;
+
 /** Load fixed-point value */
 typedef uint32_t load_t;