Searched refs:dom_t (Results 1 - 10 of 10) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dtypes.h29 typedef word_t dom_t; typedef
39 typedef dom_t seL4_Domain;
/seL4-camkes-master/kernel/include/arch/riscv/arch/
H A Dtypes.h25 typedef word_t dom_t; typedef
34 typedef dom_t seL4_Domain;
/seL4-camkes-master/kernel/include/arch/arm/arch/
H A Dtypes.h27 typedef word_t dom_t; typedef
43 typedef dom_t seL4_Domain;
/seL4-camkes-master/kernel/src/model/
H A Dstatedata.c84 dom_t ksCurDomain;
/seL4-camkes-master/kernel/include/model/
H A Dstatedata.h108 extern dom_t ksCurDomain;
/seL4-camkes-master/kernel/include/object/
H A Dstructures.h31 dom_t domain;
265 dom_t tcbDomain;
/seL4-camkes-master/kernel/src/fastpath/
H A Dfastpath.c36 dom_t dom;
248 dom_t dom;
/seL4-camkes-master/kernel/include/kernel/
H A Dthread.h194 void setDomain(tcb_t *tptr, dom_t dom);
/seL4-camkes-master/kernel/src/kernel/
H A Dthread.c458 void setDomain(tcb_t *tptr, dom_t dom)
/seL4-camkes-master/kernel/src/object/
H A Dtcb.c91 dom_t dom;
126 dom_t dom;
156 dom_t dom;

Completed in 126 milliseconds