Searched refs:dom (Results 1 - 13 of 13) sorted by relevance
/seL4-test-master/kernel/include/kernel/ |
H A D | thread.h | 19 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 D | invocation_header_gen.py | 15 import xml.dom.minidom namespace 163 doc = xml.dom.minidom.parse(xml_file)
|
H A D | syscall_header_gen.py | 16 import xml.dom.minidom namespace 169 doc = xml.dom.minidom.parse(xml_file)
|
H A D | syscall_stub_gen.py | 42 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 D | invocation_header_gen.py | 15 import xml.dom.minidom namespace 163 doc = xml.dom.minidom.parse(xml_file)
|
H A D | syscall_header_gen.py | 16 import xml.dom.minidom namespace 169 doc = xml.dom.minidom.parse(xml_file)
|
H A D | syscall_stub_gen.py | 42 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 D | invocation_header_gen.py | 15 import xml.dom.minidom namespace 163 doc = xml.dom.minidom.parse(xml_file)
|
H A D | syscall_header_gen.py | 16 import xml.dom.minidom namespace 169 doc = xml.dom.minidom.parse(xml_file)
|
/seL4-test-master/kernel/src/fastpath/ |
H A D | fastpath.c | 36 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 D | thread.c | 408 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 D | clock.c | 228 #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 D | tcb.c | 52 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