Constant K_SYSCALL_K_PIPE_READ_AVAIL

pub const K_SYSCALL_K_PIPE_READ_AVAIL: u32 = 56;