I noticed OpenBSD recently added a call to do this in vga_pci.c, as it is needed for some X drivers. Should this be done here? -- Support WFMU-FM: free-form radio for the masses! <http://www.wfmu.org/> 91.1 FM Jersey City, NJ 90.1 FM Mt. Hope, NY "The Reggae Schoolroom": <http://www.wfmu.org/playlists/RS/>