/* wusbhc_rsv_terminate - terminate the cluster reservation @wusbhc: the WUSB host whose reservation is to be terminated  */
void wusbhc_rsv_terminate(struct wusbhc *wusbhc)
/* wusbhc_rsv_terminate - terminate the cluster reservation @wusbhc: the WUSB host whose reservation is to be terminated  */
void wusbhc_rsv_terminate(struct wusbhc *wusbhc)
{
	if (wusbhc->rsv) {
		uwb_rsv_terminate(wusbhc->rsv);
		uwb_rsv_destroy(wusbhc->rsv);
		wusbhc->rsv = NULL;
	}
}