Macro sel4::sel4_cfg_usize

sel4_cfg_usize!() { /* proc-macro */ }

Like core::cfg!(), except using the seL4 kernel configuration.

This macro requires the configuration key to correspond to a string value. It parses that value into an integer at compile-time, and assigns it type usize.

See sel4_cfg for documentation on the configuration expression syntax.

Example

assert_eq!(1usize, sel4_cfg_usize!(MAX_NUM_NODES));