Searched refs:fpuState (Results 1 - 13 of 13) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Dregisterset.h64 user_fpu_state_t fpuState; member in struct:user_context
82 OFFSETOF(user_context_t, fpuState) % MIN_FPU_ALIGNMENT == 0)
H A Dfpu.h117 return thread->tcbArch.tcbVCPU && &thread->tcbArch.tcbVCPU->fpuState == NODE_STATE(ksActiveFPUState);
/seL4-camkes-master/kernel/src/machine/
H A Dfpu.c55 switchLocalFpuOwner(&NODE_STATE(ksCurThread)->tcbArch.tcbContext.fpuState);
/seL4-camkes-master/kernel/include/machine/
H A Dfpu.h30 return &thread->tcbArch.tcbContext.fpuState ==
/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dfpu.c18 context->fpuState = x86KSnullFpuState;
/seL4-camkes-master/kernel/include/arch/riscv/arch/machine/
H A Dregisterset.h114 user_fpu_state_t fpuState; member in struct:user_context
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dregisterset.h254 user_fpu_state_t fpuState; member in struct:user_context
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h236 user_fpu_state_t fpuState; member in struct:user_context
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dvcpu.h260 user_fpu_state_t fpuState; member in struct:vcpu
314 OFFSETOF(vcpu_t, fpuState) % MIN_FPU_ALIGNMENT == 0)
/seL4-camkes-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h762 * We also overwrite the fpuState.fpexc with the value saved in
769 * In the case above, the fpuState.fpexc of VM0 saves the value written
776 vcpu->vcpuTCB->tcbArch.tcbContext.fpuState.fpexc = vcpu_read_reg(vcpu, seL4_VCPUReg_FPEXC);
/seL4-camkes-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h762 * We also overwrite the fpuState.fpexc with the value saved in
769 * In the case above, the fpuState.fpexc of VM0 saves the value written
776 vcpu->vcpuTCB->tcbArch.tcbContext.fpuState.fpexc = vcpu_read_reg(vcpu, seL4_VCPUReg_FPEXC);
/seL4-camkes-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Dvcpu.h762 * We also overwrite the fpuState.fpexc with the value saved in
769 * In the case above, the fpuState.fpexc of VM0 saves the value written
776 vcpu->vcpuTCB->tcbArch.tcbContext.fpuState.fpexc = vcpu_read_reg(vcpu, seL4_VCPUReg_FPEXC);
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c1160 switchLocalFpuOwner(&NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->fpuState);

Completed in 73 milliseconds