Constant K_SYSCALL_COUNTER_GET_VALUE

pub const K_SYSCALL_COUNTER_GET_VALUE: u32 = 242;