Home
last modified time | relevance | path

Searched refs:tcbDomain (Results 1 – 7 of 7) sorted by relevance

/seL4-master/src/fastpath/
A Dfastpath.c132 if (unlikely(dest->tcbDomain != ksCurDomain && 0 < maxDom)) { in fastpath_call()
376 if (unlikely(caller->tcbDomain != ksCurDomain && 0 < maxDom)) { in fastpath_reply_recv()
/seL4-master/include/object/
A Dstructures.h265 dom_t tcbDomain; member
/seL4-master/src/kernel/
A Dthread.c470 tptr->tcbDomain = dom; in setDomain()
536 if (ksCurDomain != target->tcbDomain in possibleSwitchTo()
A Dboot.c514 tcb->tcbDomain = ksDomSchedule[ksDomScheduleIdx].domain; in create_initial_thread()
/seL4-master/src/machine/
A Dcapdl.c104 printf(", dom: %ld)\n", tcb->tcbDomain); in obj_tcb_print_attrs()
/seL4-master/src/object/
A Dtcb.c95 dom = tcb->tcbDomain; in tcbSchedEnqueue()
130 dom = tcb->tcbDomain; in tcbSchedAppend()
160 dom = tcb->tcbDomain; in tcbSchedDequeue()
445 if (tcb->tcbAffinity != getCurrentCPUIndex() && tcb->tcbDomain == ksCurDomain) { in remoteQueueUpdate()
A Dobjecttype.c532 tcb->tcbDomain = ksCurDomain; in createObject()

Completed in 17 milliseconds