cpu_acpi_read_port
(void) cpu_acpi_read_port(address, &value, 8);
(void) cpu_acpi_read_port(
ret = cpu_acpi_read_port(ptc_stat->cr_address, stat,
extern int cpu_acpi_read_port(ACPI_IO_ADDRESS, uint32_t *, uint32_t);