- l4_umword_t state; ///< Current vCPU state
- l4_umword_t saved_state; ///< Saved vCPU state
-
- l4_umword_t sticky_flags; ///< Pending flags
+ l4_uint16_t state; ///< Current vCPU state
+ l4_uint16_t saved_state; ///< Saved vCPU state
+ l4_uint16_t sticky_flags; ///< Pending flags
+ l4_uint16_t _reserved; ///< \internal