Constant sel4_elf_header::PT_NULL

pub const PT_NULL: u32 = 0;