Constant K_SYSCALL_COUNTER_IS_COUNTING_UP 

pub const K_SYSCALL_COUNTER_IS_COUNTING_UP: u32 = 267; // 267u32