sel4_elf_header

Constant PT_NULL

Source
pub const PT_NULL: u32 = 0;