Searched refs:SC (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
| H A D | __init__.py | 14 IRQ, SC, RTReply, calculate_cnode_size, \
16 SchedControl, ARMIRQMode, ContextBank, StreamID namespace
|
| H A D | Allocator.py | 20 ARMIODevice, VCPU, ASIDPool, SC, SchedControl, RTReply, ObjectType, \
161 o = SC(name)
22 DomainControl, is_aligned, ARMIRQMode, ARMIRQ, ContextBank, StreamID namespace
|
| H A D | Object.py | 557 class SC(Object): class in inherits:Object
559 super(SC, self).__init__(name)
|
| /seL4-camkes-master/kernel/manual/parts/ |
| H A D | threads.tex | 166 Given the number of replenishments is limited, if a node's SC changes and the outgoing SC does not
|
Completed in 42 milliseconds