Function sel4_microkit::pd_name
source ยท pub fn pd_name() -> Result<&'static str, Utf8Error>Expand description
Returns the name of this protection domain.
pub fn pd_name() -> Result<&'static str, Utf8Error>Returns the name of this protection domain.