Constant K_SYSCALL_COUNTER_SET_TOP_VALUE

pub const K_SYSCALL_COUNTER_SET_TOP_VALUE: u32 = 248;