Searched refs:active (Results 1 - 3 of 3) sorted by relevance

/seL4-mcs-10.1.1/src/arch/arm/object/
H A Dvcpu.c266 vcpu_save(vcpu_t *vcpu, bool_t active) argument
273 /* If we aren't active then this state already got stored when
275 if (active) {
306 if (active && nativeThreadUsingFPU(vcpu->vcpuTCB)) {
/seL4-mcs-10.1.1/include/arch/arm/arch/machine/
H A Dgic_pl390.h78 uint32_t active[32]; /* [0x300, 0x380) */ member in struct:gic_dist_map
206 * GIC has 4 states: pending->active(+pending)->inactive
207 * seL4 expects two states: active->inactive.
208 * We ignore the active state in GIC to conform
270 /* Active priority: bitfield of active priorities */
/seL4-mcs-10.1.1/manual/parts/
H A Dthreads.tex82 referred to as \emph{active}. Budget charging and replenishment rules are different for round-robin
144 the scheduling context is active, it will be added to the scheduler.
178 communicate with a passive thread. When an active thread invokes an endpoint with
179 \apifunc{seL4\_Call}{sel4_call} and rendezvous with a passive thread, the active thread's scheduling
234 Additionally, threads are only eligible for scheduling if they have an active scheduling context.
587 is active.

Completed in 37 milliseconds