Constant K_SYSCALL_SYSCON_WRITE_REG 

pub const K_SYSCALL_SYSCON_WRITE_REG: u32 = 573;