Symbol: VIA_CPUID_DO_RNG
sys/amd64/amd64/initcpu.c
224
wrmsr(0x110B, rdmsr(0x110B) | VIA_CPUID_DO_RNG);
sys/i386/i386/initcpu.c
594
wrmsr(0x110B, rdmsr(0x110B) | VIA_CPUID_DO_RNG);