sel4_sys

Constant IPCBUF_GDT_ENTRY

Source
pub const IPCBUF_GDT_ENTRY: u32 = 8;