vga_pci_is_boot_display
int vga_pci_is_boot_display(device_t dev);
if (vga_pci_is_boot_display(dev)) {
if (vga_pci_is_boot_display(dev)) {
if (!vga_pci_is_boot_display(dev))
vga_pci_is_boot_display(dev);
if (vga_pci_is_boot_display(dev))