acpi_hw_write_port
acpi_status acpi_hw_write_port(acpi_io_address address, u32 value, u32 width);
status = acpi_hw_write_port((acpi_io_address)address,
status = acpi_hw_write_port(acpi_gbl_FADT.smi_command,
status = acpi_hw_write_port(acpi_gbl_FADT.smi_command,
status = acpi_hw_write_port((acpi_io_address)
acpi_hw_write_port(acpi_gbl_FADT.smi_command, value, 8);
status = acpi_hw_write_port(acpi_gbl_FADT.smi_command,