Symbol: TPM_ARAT
sys/arch/amd64/include/specialreg.h
288
#define TPM_ARAT 0x00000004 /* APIC Timer Always Running */
sys/arch/i386/include/specialreg.h
210
#define TPM_ARAT 0x00000004 /* APIC Timer Always Running */