fminvco          1092 drivers/gpu/drm/nouveau/nouveau_bios.c 	bios->fminvco = 128000;
fminvco          1198 drivers/gpu/drm/nouveau/nouveau_bios.c 		bios->fminvco = ROM32(bmp[71]);
fminvco           101 drivers/gpu/drm/nouveau/nouveau_bios.h 	uint32_t fmaxvco, fminvco;