Constant K_SYSCALL_COUNTER_GET_MAX_TOP_VALUE 

pub const K_SYSCALL_COUNTER_GET_MAX_TOP_VALUE: u32 = 259; // 259u32