Searched refs:nativeThreadUsingFPU (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/machine/
H A Dfpu.h35 static inline bool_t nativeThreadUsingFPU(tcb_t *thread) function
51 if (likely(nativeThreadUsingFPU(thread))) {
/seL4-l4v-10.1.1/seL4/src/machine/
H A Dfpu.c59 assert(!nativeThreadUsingFPU(NODE_STATE(ksCurThread)));
72 if (nativeThreadUsingFPU(thread)) {
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dtcb.c37 if (nativeThreadUsingFPU(thread)) {
H A Dvcpu.c198 if (nativeThreadUsingFPU(vcpu->vcpuTCB)) {
306 if (active && nativeThreadUsingFPU(vcpu->vcpuTCB)) {
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dtcb.c93 if (nativeThreadUsingFPU(thread)) {

Completed in 39 milliseconds