static void my_outl(u16_t port, u32_t value) { int s; if ((s = sys_outl(port, value)) != OK) printf("RTL8169: warning, sys_outl failed: %d\n", s); }
ACPI_STATUS AcpiOsWritePciConfiguration ( ACPI_PCI_ID *PciId, UINT32 Register, ACPI_INTEGER Value, UINT32 Width) { int err; switch (Width) { case 8: PCII_WREG8_(PciId->Bus, PciId->Device, PciId->Function, Register, Value); break; case 16: PCII_WREG16_(PciId->Bus, PciId->Device, PciId->Function, Register, Value); break; case 32: PCII_WREG32_(PciId->Bus, PciId->Device, PciId->Function, Register, Value); break; default: panic("NOT IMPLEMENTED\n"); } if (OK != (err = sys_outl(PCII_CONFADD, PCII_UNSEL))) printf("ACPI: warning, sys_outl failed: %d\n", err); return AE_OK; }
/*===========================================================================* * vbox_request * *===========================================================================*/ int vbox_request(struct VMMDevRequestHeader *header, phys_bytes addr, int type, size_t size) { /* Perform a VirtualBox backdoor request. */ int r; header->size = size; header->version = VMMDEV_BACKDOOR_VERSION; header->type = type; header->result = VMMDEV_ERR_GENERIC; if ((r = sys_outl(port, addr)) != OK) panic("device I/O failed: %d", r); return header->result; }
ACPI_STATUS AcpiOsWritePort ( ACPI_IO_ADDRESS Address, UINT32 Value, UINT32 Width) { switch (Width) { case 8: sys_outb(Address, Value); break; case 16: sys_outw(Address, Value); break; case 32: sys_outl(Address, Value); break; } return AE_OK; return AE_OK; }
ACPI_STATUS AcpiOsWritePort ( ACPI_IO_ADDRESS Address, UINT32 Value, UINT32 Width) { switch (Width) { case 8: sys_outb(Address, Value); break; case 16: sys_outw(Address, Value); break; case 32: sys_outl(Address, Value); break; default: panic("unsupported width: %d", Width); } return AE_OK; }
static void pci_outl(u16_t port, u32_t value) { int s; if ((s=sys_outl(port, value)) !=OK) printf("ACPI: warning, sys_outl failed: %d\n", s); }
PUBLIC void pci_outl(U16_t port, U32_t value) { int s; if ((s=sys_outl(port, value)) !=OK) printf("%s: warning, sys_outl failed: %d\n", DRIVER_NAME, s); }