Constant K_SYSCALL_COUNTER_GET_MAX_TOP_VALUE_64 

pub const K_SYSCALL_COUNTER_GET_MAX_TOP_VALUE_64: u32 = 260;