sel4_microkit

Function pd_name

Source 
pub fn pd_name() -> Result<&'static str, Utf8Error>
Expand description

Returns the name of this protection domain.