Constant K_SYSCALL_MAXIM_DS3231_REQ_SYNCPOINT

pub const K_SYSCALL_MAXIM_DS3231_REQ_SYNCPOINT: u32 = 376;