pbval             135 dev/acpi/acpicpu.c 	uint32_t pbval;
pbval             141 dev/acpi/acpicpu.c 	pbval = inl(sc->sc_pblk_addr);
pbval             142 dev/acpi/acpicpu.c 	outl(sc->sc_pblk_addr, pbval & ~CPU_THT_EN);
pbval             144 dev/acpi/acpicpu.c 		pbval &= ~CPU_STATEMASK(sc);
pbval             145 dev/acpi/acpicpu.c 		pbval |= CPU_STATE(sc, level);
pbval             146 dev/acpi/acpicpu.c 		outl(sc->sc_pblk_addr, pbval & ~CPU_THT_EN);
pbval             147 dev/acpi/acpicpu.c 		outl(sc->sc_pblk_addr, pbval | CPU_THT_EN);