sel4_sys

Constant IPCBUF_GDT_SELECTOR

Source
pub const IPCBUF_GDT_SELECTOR: u32 = 67;