Constant SYSCON_ADDR 

pub const SYSCON_ADDR: u32 = 0x1110_0000;

System controller address. Writing 0x5555 powers off; 0x7777 restarts.