Function sel4_microkit_base::pd_is_passive

source ยท 
pub fn pd_is_passive() -> bool
Expand description

Returns whether this projection domain is a passive server.