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