FPU_REG_WIDTH

61

__u32 val32[FPU_REG_WIDTH / 32];

62

__u64 val64[FPU_REG_WIDTH / 64];

1316

memcpy(&fpu->fpr[i], &vcpu->arch.fpu.fpr[i], FPU_REG_WIDTH / 64);

1328

memcpy(&vcpu->arch.fpu.fpr[i], &fpu->fpr[i], FPU_REG_WIDTH / 64);

92

__u32 val32[FPU_REG_WIDTH / 32];

93

__u64 val64[FPU_REG_WIDTH / 64];