Constant K_SYSCALL_SENSOR_CHANNEL_GET 

pub const K_SYSCALL_SENSOR_CHANNEL_GET: u32 = 511;