Searched refs:dom (Results 1 - 13 of 13) sorted by relevance

/seL4-test-master/kernel/include/kernel/
H A Dthread.h19 static inline CONST word_t ready_queues_index(word_t dom, word_t prio) argument
22 return dom * CONFIG_NUM_PRIORITIES + prio;
24 assert(dom == 0);
61 static inline prio_t getHighestPrio(word_t dom)
68 assert(NODE_STATE(ksReadyQueuesL1Bitmap)[dom] != 0);
70 l1index = wordBits - 1 - clzl(NODE_STATE(ksReadyQueuesL1Bitmap)[dom]);
72 assert(NODE_STATE(ksReadyQueuesL2Bitmap)[dom][l1index_inverted] != 0);
73 l2index = wordBits - 1 - clzl(NODE_STATE(ksReadyQueuesL2Bitmap)[dom][l1index_inverted]);
77 static inline bool_t isHighestPrio(word_t dom, prio_t prio)
79 return NODE_STATE(ksReadyQueuesL1Bitmap)[dom]
[all...]
/seL4-test-master/kernel/libsel4/tools/
H A Dinvocation_header_gen.py15 import xml.dom.minidom namespace
163 doc = xml.dom.minidom.parse(xml_file)
H A Dsyscall_header_gen.py16 import xml.dom.minidom namespace
169 doc = xml.dom.minidom.parse(xml_file)
H A Dsyscall_stub_gen.py42 import xml.dom.minidom namespace
787 if node.nodeType == xml.dom.Node.TEXT_NODE:
829 doc = xml.dom.minidom.parse(input_file)
/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dinvocation_header_gen.py15 import xml.dom.minidom namespace
163 doc = xml.dom.minidom.parse(xml_file)
H A Dsyscall_header_gen.py16 import xml.dom.minidom namespace
169 doc = xml.dom.minidom.parse(xml_file)
H A Dsyscall_stub_gen.py42 import xml.dom.minidom namespace
787 if node.nodeType == xml.dom.Node.TEXT_NODE:
829 doc = xml.dom.minidom.parse(input_file)
/seL4-test-master/kernel/tools/
H A Dinvocation_header_gen.py15 import xml.dom.minidom namespace
163 doc = xml.dom.minidom.parse(xml_file)
H A Dsyscall_header_gen.py16 import xml.dom.minidom namespace
169 doc = xml.dom.minidom.parse(xml_file)
/seL4-test-master/kernel/src/fastpath/
H A Dfastpath.c36 dom_t dom; local
113 dom = maxDom ? ksCurDomain : 0;
116 !isHighestPrio(dom, dest->tcbPriority))) {
248 dom_t dom; local
367 dom = maxDom ? ksCurDomain : 0;
368 if (unlikely(!isHighestPrio(dom, caller->tcbPriority))) {
/seL4-test-master/kernel/src/kernel/
H A Dthread.c408 word_t dom; local
412 dom = ksCurDomain;
414 dom = 0;
417 if (likely(NODE_STATE(ksReadyQueuesL1Bitmap[dom]))) {
418 prio = getHighestPrio(dom);
419 thread = NODE_STATE(ksReadyQueues)[ready_queues_index(dom, prio)].head;
458 void setDomain(tcb_t *tptr, dom_t dom) argument
461 tptr->tcbDomain = dom;
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/zynq7000/
H A Dclock.c228 #define DDR_CLK_DIVISOR(dom, x) ((x) * BIT(DDR_##dom##XCLK_DIVISOR_SHIFT))
229 #define DDR_CLK_DIVISOR_MASK(dom) DDR_CLK_DIVISOR(dom, CLK_DIVISOR_MAX)
230 #define DDR_CLK_SET_DIVISOR(dom, val) \
232 clk_regs->ddr_clk_ctrl &= ~(DDR_CLK_DIVISOR_MASK(dom)); \
233 clk_regs->ddr_clk_ctrl |= DDR_CLK_DIVISOR(dom, val); \
235 #define DDR_CLK_GET_DIVISOR(dom) \
236 ((clk_regs->ddr_clk_ctrl & DDR_CLK_DIVISOR_MASK(dom)) >> DDR_##dom##XCLK_DIVISOR_SHIF
[all...]
/seL4-test-master/kernel/src/object/
H A Dtcb.c52 static inline void addToBitmap(word_t cpu, word_t dom, word_t prio) argument
60 NODE_STATE_ON_CORE(ksReadyQueuesL1Bitmap[dom], cpu) |= BIT(l1index);
65 NODE_STATE_ON_CORE(ksReadyQueuesL2Bitmap[dom][l1index_inverted], cpu) |= BIT(prio & MASK(wordRadix));
68 static inline void removeFromBitmap(word_t cpu, word_t dom, word_t prio) argument
75 NODE_STATE_ON_CORE(ksReadyQueuesL2Bitmap[dom][l1index_inverted], cpu) &= ~BIT(prio & MASK(wordRadix));
76 if (unlikely(!NODE_STATE_ON_CORE(ksReadyQueuesL2Bitmap[dom][l1index_inverted], cpu))) {
77 NODE_STATE_ON_CORE(ksReadyQueuesL1Bitmap[dom], cpu) &= ~BIT(l1index);
91 dom_t dom; local
95 dom = tcb->tcbDomain;
97 idx = ready_queues_index(dom, pri
126 dom_t dom; local
156 dom_t dom; local
[all...]

Completed in 168 milliseconds