sel4_
microkit_
base
0.1.0
sel4_microkit_base
Function
pd_name
Copy item path
Source
pub fn pd_name() -> Result<&'static str, Utf8Error>
Expand description
Returns the name of this protection domain.