TLS_GDT_SELECTOR

sel4_sys

Constant TLS_GDT_SELECTOR 

Source 
pub const TLS_GDT_SELECTOR: u32 = 59;