Symbol: CI_VMM_RVI
sys/arch/amd64/amd64/identcpu.c
1060
ci->ci_vmm_flags |= CI_VMM_RVI;
sys/arch/amd64/amd64/vmm_machdep.c
293
if (ci->ci_vmm_flags & CI_VMM_RVI)