Constant K_SYSCALL_MAXIM_DS3231_GET_SYNCPOINT

pub const K_SYSCALL_MAXIM_DS3231_GET_SYNCPOINT: u32 = 375;