Constant K_SYSCALL_PULSE_IO_STOP 

pub const K_SYSCALL_PULSE_IO_STOP: u32 = 508;