Constant K_SYSCALL_SYSCON_UPDATE_BITS 

pub const K_SYSCALL_SYSCON_UPDATE_BITS: u32 = 572;