Constant kernel_loader::elf::NT_ARM_SYSTEM_CALL

pub const NT_ARM_SYSTEM_CALL: u32 = 1028;