#include "rtk_error.h" #include "rtk_types.h" void switch_hard_reset(int newState); rtk_api_ret_t switch_init();