Function sel4_microkit::pd_is_passive

source · 
pub fn pd_is_passive() -> bool
Expand description

Returns whether this projection domain is a passive server.