sel4_
microkit_
base
0.1.0
Macros
memory_region_symbol
var
Structs
Channel
Child
DeferredAction
DeferredActionSlot
IrqAckError
MessageInfo
NullHandler
Enums
DeferredActionInterface
Infallible
Traits
Handler
Functions
get_mr
ipc_buffer_ptr
pd_is_passive
pd_name
set_mr
with_msg_bytes
with_msg_bytes_mut
with_msg_regs
with_msg_regs_mut
Type Aliases
MessageLabel
MessageRegisterValue
sel4_microkit_base
Function
pd_name
Copy item path
Settings
Help
Summary
Source
pub fn pd_name() -> Result<&'static str, Utf8Error>
Expand description
Returns the name of this protection domain.