Constant SOC_RESET_KEY 

pub const SOC_RESET_KEY: u64 = 0x5245_5345_545f_4b45;

The value SYS_RESET takes to restart the board.