Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
[barrelfish] / include / barrelfish_kpi / dispatcher_shared.h
index 35c1f1a..dbabeee 100644 (file)
@@ -38,10 +38,10 @@ enum task_type {
 
 ///< Architecture generic kernel/user shared dispatcher struct
 struct dispatcher_shared_generic {
-    uint32_t   disabled;           ///< Disabled flag (Must be able to change atomically)
-    uint32_t   haswork;            ///< Has work (ie. is runnable) (Must be able to change atomically)
+    uint32_t   disabled;                        ///< Disabled flag (Must be able to change atomically)
+    uint32_t   haswork;                         ///< Has work (ie. is runnable) (Must be able to change atomically)
 
-    lvaddr_t    udisp;             ///< User-mode pointer to dispatcher
+    lvaddr_t    udisp;                          ///< User-mode pointer to dispatcher
     uint32_t    lmp_delivered, lmp_seen;        ///< # LMP words delivered and seen
     lvaddr_t    lmp_hint;                       ///< Hint for location of LMP
     lvaddr_t    dispatcher_run;                 ///< Run entry
@@ -50,14 +50,14 @@ struct dispatcher_shared_generic {
     lvaddr_t    dispatcher_pagefault_disabled;  ///< Disabled pagefault entry
     lvaddr_t    dispatcher_trap;                ///< Trap entry
 
-    systime_t   systime; ///< System time when last dispatched/resumed (W/O to kernel)
-    systime_t   wakeup;  ///< System time at which to wake dispatcher from sleep (R/O by kernel, on yield)
+    systime_t   systime;                        ///< System time when last dispatched/resumed (W/O to kernel)
+    systime_t   wakeup;                         ///< System time at which to wake dispatcher from sleep (R/O by kernel, on yield)
 
-    char        name[DISP_NAME_LEN];///< Name of domain, for debugging purposes
-    uint32_t    fpu_used;               ///< Was FPU used while disabled?
-    uint32_t    fpu_trap;               ///< State of FPU trap
-       
-    coreid_t    curr_core_id;  ///< Core id of current core, in this part so kernel can update
+    char        name[DISP_NAME_LEN];            ///< Name of domain, for debugging purposes
+    uint32_t    fpu_used;                       ///< Was FPU used while disabled?
+    uint32_t    fpu_trap;                       ///< State of FPU trap
+
+    coreid_t    curr_core_id;                   ///< Core id of current core, in this part so kernel can update
 #ifdef __k1om__
     uint8_t     xeon_phi_id;
 #endif