/* Initializes fields of a freshly allocated @wimax_dev instance. This function assumes that after allocation, the memory occupied by @wimax_dev was zeroed.  */
void wimax_dev_init(struct wimax_dev *wimax_dev)
/* Initializes fields of a freshly allocated @wimax_dev instance. This function assumes that after allocation, the memory occupied by @wimax_dev was zeroed.  */
void wimax_dev_init(struct wimax_dev *wimax_dev)
{
	INIT_LIST_HEAD(&wimax_dev->id_table_node);
	__wimax_state_set(wimax_dev, __WIMAX_ST_NULL);
	mutex_init(&wimax_dev->mutex);
	mutex_init(&wimax_dev->mutex_reset);
}