Constant K_SYSCALL_PULSE_IO_CHANNEL_CONFIGURE 

pub const K_SYSCALL_PULSE_IO_CHANNEL_CONFIGURE: u32 = 501;