Constant K_SYSCALL_COUNTER_SET_TOP_VALUE 

pub const K_SYSCALL_COUNTER_SET_TOP_VALUE: u32 = 287;