/* Referenced by dev/pci/vga_pci.c */