Input: export input_reset_device() for use in KGDB