Constant IPCBUF_GDT_SELECTOR 

pub const IPCBUF_GDT_SELECTOR: u32 = 67;