Constant K_SYSCALL_K_TIMER_REMAINING_TICKS 

pub const K_SYSCALL_K_TIMER_REMAINING_TICKS: u32 = 104;