Symbol: CPUTPM1_ARAT
sys/amd64/vmm/x86.c
478
regs[0] = CPUTPM1_ARAT;
sys/x86/x86/local_apic.c
607
arat = (cpu_power_eax & CPUTPM1_ARAT);