HDPVR_MAX
static int video_nr[HDPVR_MAX] = {[0 ... (HDPVR_MAX - 1)] = UNSET};
if (dev_num >= HDPVR_MAX) {