142 	xswitch_info_t xswitch_info;  in assign_widgets_to_volunteers()  local
154 	xswitch_info = xswitch_info_get(xswitch);  in assign_widgets_to_volunteers()
155 	ASSERT(xswitch_info != NULL);  in assign_widgets_to_volunteers()
175 		xswitch_info_master_assignment_set(xswitch_info, (xwidgetnum_t)0, hubv);  in assign_widgets_to_volunteers()
233 		xswitch_info_master_assignment_set(xswitch_info, widgetnum, hubv);  in assign_widgets_to_volunteers()
332 	xswitch_info_t		xswitch_info;  in io_xswitch_widget_init()  local
354 	xswitch_info = xswitch_info_get(xswitchv);  in io_xswitch_widget_init()
355 	ASSERT(xswitch_info != NULL);  in io_xswitch_widget_init()
376 	if (xswitch_info_link_ok(xswitch_info, widgetnum)) {  in io_xswitch_widget_init()
386 		if (xswitch_info_master_assignment_get(xswitch_info, widgetnum) != hubv) {  in io_xswitch_widget_init()
455 		xswitch_info_vhdl_set(xswitch_info, widgetnum, widgetv);  in io_xswitch_widget_init()