Lines Matching refs:v86

224     v86.ctl = V86_FLAGS;  in biospci_detect()
225 v86.addr = PCI_INT; in biospci_detect()
226 v86.eax = PCI_BIOS_PRESENT; in biospci_detect()
227 v86.edi = 0x0; in biospci_detect()
231 if (V86_CY(v86.efl) || ((v86.eax & 0xff00) != 0) || in biospci_detect()
232 (v86.edx != PCI_SIGNATURE)) in biospci_detect()
235 version = v86.ebx & 0xffff; in biospci_detect()
236 hwcap = v86.eax & 0xff; in biospci_detect()
237 maxbus = v86.ecx & 0xff; in biospci_detect()
325 v86.ctl = V86_FLAGS; in biospci_find_devclass()
326 v86.addr = PCI_INT; in biospci_find_devclass()
327 v86.eax = FIND_PCI_CLASS_CODE; in biospci_find_devclass()
328 v86.ecx = class; in biospci_find_devclass()
329 v86.esi = index; in biospci_find_devclass()
333 if (V86_CY(v86.efl) || (v86.eax & 0xff00)) in biospci_find_devclass()
336 *locator = v86.ebx; in biospci_find_devclass()
343 v86.ctl = V86_FLAGS; in biospci_find_device()
344 v86.addr = PCI_INT; in biospci_find_device()
345 v86.eax = FIND_PCI_DEVICE; in biospci_find_device()
346 v86.edx = devid & 0xffff; /* EDX - Vendor ID */ in biospci_find_device()
347 v86.ecx = (devid >> 16) & 0xffff; /* ECX - Device ID */ in biospci_find_device()
348 v86.esi = index; in biospci_find_device()
352 if (V86_CY(v86.efl) || (v86.eax & 0xff00)) in biospci_find_device()
355 *locator = v86.ebx; in biospci_find_device()
365 v86.ctl = V86_FLAGS; in biospci_write_config()
366 v86.addr = PCI_INT; in biospci_write_config()
367 v86.eax = WRITE_CONFIG_BYTE + width; in biospci_write_config()
368 v86.ebx = locator; in biospci_write_config()
369 v86.edi = offset; in biospci_write_config()
370 v86.ecx = val; in biospci_write_config()
374 if (V86_CY(v86.efl) || (v86.eax & 0xff00)) in biospci_write_config()
383 v86.ctl = V86_FLAGS; in biospci_read_config()
384 v86.addr = PCI_INT; in biospci_read_config()
385 v86.eax = READ_CONFIG_BYTE + width; in biospci_read_config()
386 v86.ebx = locator; in biospci_read_config()
387 v86.edi = offset; in biospci_read_config()
391 if (V86_CY(v86.efl) || (v86.eax & 0xff00)) in biospci_read_config()
394 *val = v86.ecx; in biospci_read_config()