Constant K_SYSCALL_MAXIM_DS3231_REQ_SYNCPOINT 

pub const K_SYSCALL_MAXIM_DS3231_REQ_SYNCPOINT: u32 = 415;