Constant K_SYSCALL_COUNTER_GET_VALUE 

pub const K_SYSCALL_COUNTER_GET_VALUE: u32 = 277;