Symbol: it87_check_voltage_monitors_reset