/drivers/video/vgastate.mod.c