IPCBUF_GDT_ENTRY

sel4_sys

Constant IPCBUF_GDT_ENTRY 

Source 
pub const IPCBUF_GDT_ENTRY: u32 = 8;