src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.h

329

NVMM_X64_STATE_FPU)

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1983

if (flags & NVMM_X64_STATE_FPU) {

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2099

if (flags & NVMM_X64_STATE_FPU) {

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2747

if (flags & NVMM_X64_STATE_FPU) {

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2859

if (flags & NVMM_X64_STATE_FPU) {

src/libs/nvmm/driver/x86/nvmm_x86.h

329

NVMM_X64_STATE_FPU)

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1983

if (flags & NVMM_X64_STATE_FPU) {

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2099

if (flags & NVMM_X64_STATE_FPU) {

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2747

if (flags & NVMM_X64_STATE_FPU) {

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2859

if (flags & NVMM_X64_STATE_FPU) {