sel4_config::consts

Constant SYSCALL

Source 
pub const SYSCALL: bool = true;