Function sel4_microkit_base::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.