RESULT usbtojtagraw_fini(uint8_t interface_index) { return usbtoxxx_fini_command(USB_TO_JTAG_RAW, interface_index); }
vsf_err_t usbtomicrowire_fini(uint8_t index) { return usbtoxxx_fini_command(USB_TO_MICROWIRE, index); }
vsf_err_t usbtobdm_fini(uint8_t index) { return usbtoxxx_fini_command(USB_TO_BDM, index); }
RESULT usbtogpio_fini(uint8_t interface_index) { return usbtoxxx_fini_command(USB_TO_GPIO, interface_index); }
vsf_err_t usbtoswd_fini(uint8_t index) { return usbtoxxx_fini_command(USB_TO_SWD, index); }
vsf_err_t usbtoclko_fini(uint8_t index) { return usbtoxxx_fini_command(USB_TO_CLKO, index); }
vsf_err_t usbtolpcicp_fini(uint8_t index) { return usbtoxxx_fini_command(USB_TO_LPCICP, index); }
vsf_err_t usbtogpio_fini(uint8_t index) { return usbtoxxx_fini_command(USB_TO_GPIO, index); }