Constant sel4_elf_header::PT_TLS

pub const PT_TLS: u32 = 7;