int wtpdrv_get_num_radios();