Macro sel4_microkit::declare_protection_domain

source · 
macro_rules! declare_protection_domain {
    {
        init = $init:expr $(,)?
    } => { ... };
    {
        init = $init:expr,
        stack_size = $stack_size:expr $(,)?
    } => { ... };
    {
        init = $init:expr,
        $(stack_size = $stack_size:expr,)?
        heap_size = $heap_size:expr $(,)?
    } => { ... };
}
Expand description

Declares the initialization function, stack size, and, optionally, heap and heap size.

See the protection_domain attribute macro for more detail.