void hard_reset(void) { i82801ca_hard_reset(); }