Symbol: rdxcr
sys/arch/x86/acpi/acpi_wakeup.c
264
xcr0 = rdxcr(0);
sys/arch/x86/acpi/acpi_wakeup.c
337
xcr0 = rdxcr(0);
sys/dev/nvmm/x86/nvmm_x86_svm.c
1496
cpudata->hxcr0 = rdxcr(0);
sys/dev/nvmm/x86/nvmm_x86_svm.c
1543
cpudata->gxcr0 = rdxcr(0);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2145
cpudata->hxcr0 = rdxcr(0);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2192
cpudata->gxcr0 = rdxcr(0);