Symbol: cpu_acpi_write_pdc
usr/src/uts/i86pc/os/cpupm/cpupm_intel.c
136
(void) cpu_acpi_write_pdc(mach_state->ms_acpi_handle,
usr/src/uts/i86pc/sys/cpu_acpi.h
223
extern int cpu_acpi_write_pdc(cpu_acpi_handle_t, uint32_t, uint32_t,