Constant K_SYSCALL_MAXIM_DS3231_GET_SYNCPOINT 

pub const K_SYSCALL_MAXIM_DS3231_GET_SYNCPOINT: u32 = 414; // 414u32