sel4_config::consts

Constant KERNEL_X86_SYSCALL

Source 
pub const KERNEL_X86_SYSCALL: &str = "syscall";