pd_is_passive
sel4_
microkit
0.1.0
sel4_microkit
Function
pd_
is_
passive
Copy item path
Source
pub fn pd_is_passive() -> bool
Expand description
Returns whether this protection domain is a passive server.