- natural_t ip_sprequests:1, /* send-possible requests outstanding */
- ip_spimportant:1, /* ... at least one is importance donating */
- ip_impdonation:1, /* port supports importance donation */
- ip_tempowner:1, /* dont give donations to current receiver */
- ip_guarded:1, /* port guarded (use context value as guard) */
- ip_strict_guard:1, /* Strict guarding; Prevents user manipulation of context values directly */
- ip_specialreply:1, /* port is a special reply port */
- ip_sync_link_state:3, /* link the special reply port to destination port/ Workloop */
- ip_impcount:22; /* number of importance donations in nested queue */
+ natural_t ip_sprequests:1, /* send-possible requests outstanding */
+ ip_spimportant:1, /* ... at least one is importance donating */
+ ip_impdonation:1, /* port supports importance donation */
+ ip_tempowner:1, /* dont give donations to current receiver */
+ ip_guarded:1, /* port guarded (use context value as guard) */
+ ip_strict_guard:1, /* Strict guarding; Prevents user manipulation of context values directly */
+ ip_specialreply:1, /* port is a special reply port */
+ ip_sync_link_state:3, /* link the port to destination port/ Workloop */
+ ip_sync_bootstrap_checkin:1,/* port part of sync bootstrap checkin, push on thread doing the checkin */
+ ip_immovable_receive:1, /* the receive right cannot be moved out of a space, until it is destroyed */
+ ip_no_grant:1, /* Port wont accept complex messages containing (ool) port descriptors */
+ ip_immovable_send:1, /* No send(once) rights to this port can be moved out of a space */
+ ip_impcount:18; /* number of importance donations in nested queue */