cpu_acpi_write_port
ret = cpu_acpi_write_port(ptc_ctrl->cr_address, ctrl,
(void) cpu_acpi_write_port(pct_ctrl->cr_address, ctrl,
extern int cpu_acpi_write_port(ACPI_IO_ADDRESS, uint32_t, uint32_t);