Symbol: PTC_OBJ
usr/src/uts/i86pc/os/cpupm/cpu_acpi.c
209
if ((ret = cpu_acpi_cache_ctrl_regs(handle, PTC_OBJ, ptc)) == 0)
usr/src/uts/i86pc/os/cpupm/cpu_acpi.c
882
int, PTC_OBJ);