sel4_sys::seL4_BootInfoID

Constant _enum_pad_seL4_BootInfoID

Source
pub const _enum_pad_seL4_BootInfoID: Type = 2147483647;