Constant K_SYSCALL_K_PIPE_READ 

pub const K_SYSCALL_K_PIPE_READ: u32 = 54;