Symbol: x86_get_cr0
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3026
vmx_vmwrite(VMCS_HOST_CR0, x86_get_cr0() & ~CR0_TS);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
3387
ret = vmx_check_cr(x86_get_cr0(), vmx_cr0_fixed0, vmx_cr0_fixed1);