Lines Matching refs:X86_ECX
697 X86_EAX, X86_EBX, X86_ECX, X86_EDX, X86_EDI, X86_ESI); in int1A_handler()
704 X86_ECX &= 0xFF00; in int1A_handler()
705 X86_ECX |= int1A_last_bus_number(pvp); in int1A_handler()
709 X86_EAX, X86_EDX, X86_EBX, X86_ECX, X86_EFLAGS); in int1A_handler()
721 else if ((dev = find_pci_device_vendor(X86_EDX, X86_ECX, X86_ESI, pvp))) { in int1A_handler()
736 if ((X86_ECX & 0x00FFFFFF) == pvp->device_class) { in int1A_handler()
743 (X86_ECX & 0xffff0000) >> 16, in int1A_handler()
769 ErrorF("ax=0x%x cx=0x%x flags=0x%x\n", X86_EAX, X86_ECX, X86_EFLAGS); in int1A_handler()
783 ErrorF("ax=0x%x cx=0x%x flags=0x%x\n", X86_EAX, X86_ECX, X86_EFLAGS); in int1A_handler()
788 pci_device_cfg_read_u32(dev, &X86_ECX, X86_DI); in int1A_handler()
797 ErrorF("ax=0x%x cx=0x%x flags=0x%x\n", X86_EAX, X86_ECX, X86_EFLAGS); in int1A_handler()
830 pci_device_cfg_write_u32(dev, X86_ECX, X86_DI); in int1A_handler()