Home
last modified time | relevance | path

Searched refs:fpuState (Results 1 – 12 of 12) sorted by relevance

/seL4-master/include/arch/x86/arch/machine/
A Dregisterset.h64 user_fpu_state_t fpuState; member
82 OFFSETOF(user_context_t, fpuState) % MIN_FPU_ALIGNMENT == 0)
A Dfpu.h117 …return thread->tcbArch.tcbVCPU && &thread->tcbArch.tcbVCPU->fpuState == NODE_STATE(ksActiveFPUStat… in vcpuThreadUsingFPU()
/seL4-master/include/machine/
A Dfpu.h30 return &thread->tcbArch.tcbContext.fpuState == in nativeThreadUsingFPU()
/seL4-master/src/machine/
A Dfpu.c55 switchLocalFpuOwner(&NODE_STATE(ksCurThread)->tcbArch.tcbContext.fpuState); in handleFPUFault()
/seL4-master/include/arch/x86/arch/object/
A Dvcpu.h260 user_fpu_state_t fpuState; member
314 OFFSETOF(vcpu_t, fpuState) % MIN_FPU_ALIGNMENT == 0)
/seL4-master/src/arch/x86/machine/
A Dfpu.c18 context->fpuState = x86KSnullFpuState; in Arch_initFpuContext()
/seL4-master/include/arch/riscv/arch/machine/
A Dregisterset.h114 user_fpu_state_t fpuState; member
/seL4-master/include/arch/arm/arch/32/mode/machine/
A Dregisterset.h229 user_fpu_state_t fpuState; member
/seL4-master/include/arch/arm/arch/64/mode/machine/
A Dregisterset.h254 user_fpu_state_t fpuState; member
/seL4-master/include/arch/arm/armv/armv7-a/armv/
A Dvcpu.h776 vcpu->vcpuTCB->tcbArch.tcbContext.fpuState.fpexc = vcpu_read_reg(vcpu, seL4_VCPUReg_FPEXC); in vcpu_enable()
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A Dvcpu.h776 vcpu->vcpuTCB->tcbArch.tcbContext.fpuState.fpexc = vcpu_read_reg(vcpu, seL4_VCPUReg_FPEXC); in vcpu_enable()
/seL4-master/src/arch/x86/object/
A Dvcpu.c1159 switchLocalFpuOwner(&NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->fpuState); in handleVmexit()

Completed in 25 milliseconds