| 167 | } |
| 168 | |
| 169 | void device_str(vga_device_t *dev, char *buf, BOOL shorter) |
| 170 | { |
| 171 | switch(dev->type) |
| 172 | { |
| 173 | case VGA_DEVICE_ISA: |
| 174 | sprintf(buf, "*PNP%4X", dev->isa.pnp); |
| 175 | break; |
| 176 | case VGA_DEVICE_PCI: |
| 177 | { |
| 178 | const char *prefix = "PCI\\"; |
| 179 | if(shorter) |
| 180 | prefix = ""; |
| 181 | |
| 182 | if(dev->pci.has_subsys) |
| 183 | { |
| 184 | sprintf(buf, "%sVEN_%04X&DEV_%04X&SUBSYS_%08X", prefix, dev->pci.ven, dev->pci.dev, dev->pci.subsys); |
| 185 | } |
| 186 | else |
| 187 | { |
| 188 | sprintf(buf, "%sVEN_%04X&DEV_%04X", prefix, dev->pci.ven, dev->pci.dev); |
| 189 | } |
| 190 | break; |
| 191 | } |
| 192 | default: |
| 193 | buf[0] = '\0'; |
| 194 | break; |
| 195 | } |
| 196 | } |
| 197 | |
| 198 | const char *device_ini_get(vga_device_t *dev, const char *property) |
| 199 | { |