Lines Matching defs:idx
93 word_t idx;
97 idx = ready_queues_index(dom, prio);
98 queue = NODE_STATE_ON_CORE(ksReadyQueues[idx], tcb->tcbAffinity);
110 NODE_STATE_ON_CORE(ksReadyQueues[idx], tcb->tcbAffinity) = queue;
128 word_t idx;
132 idx = ready_queues_index(dom, prio);
133 queue = NODE_STATE_ON_CORE(ksReadyQueues[idx], tcb->tcbAffinity);
145 NODE_STATE_ON_CORE(ksReadyQueues[idx], tcb->tcbAffinity) = queue;
158 word_t idx;
162 idx = ready_queues_index(dom, prio);
163 queue = NODE_STATE_ON_CORE(ksReadyQueues[idx], tcb->tcbAffinity);
180 NODE_STATE_ON_CORE(ksReadyQueues[idx], tcb->tcbAffinity) = queue;