/seL4-camkes-master/projects/camkes-tool/camkes/internal/ |
H A D | Counter.py | 27 def __init__(self): 28 self.value = 0 30 def set(self, value): 31 self.value = value 33 def __repr__(self): 34 return str(self.value) 36 def increment(self, offset=1): 37 self.value += offset 39 def decrement(self, offset=1): 40 self [all...] |
H A D | frozendict.py | 27 def __init__(self, dictionary=None): 28 self._d = dictionary or {} 30 def __getitem__(self, key): 31 return self._d[key] 33 def __iter__(self): 34 return iter(self._d) 36 def __len__(self): 37 return len(self._d)
|
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
H A D | Object.py | 128 def __init__(self, name): 129 self.name = name 132 def get_size_bits(self): 135 def get_size(self): 136 return 1 << self.get_size_bits() 138 def is_container(self): 148 def __init__(self, name): 149 super(ContainerObject, self).__init__(name) 150 self.slots = {} 152 def is_container(self) [all...] |
H A D | Cap.py | 18 def __init__(self, referent, **kwargs): 20 self.referent = referent 21 self.read = False 22 self.write = False 23 self.grant = False 24 self.grantreply = False 25 self.guard = 0 26 self.guard_size = 0 27 self.badge = None 28 self [all...] |
/seL4-camkes-master/projects/musllibc/arch/i386/ |
H A D | pthread_arch.h | 3 struct pthread *self; local 4 __asm__ __volatile__ ("movl %%gs:0,%0" : "=r" (self) ); 5 return self;
|
/seL4-camkes-master/projects/musllibc/arch/i386_sel4/ |
H A D | pthread_arch.h | 3 struct pthread *self; local 4 __asm__ __volatile__ ("movl %%gs:0,%0" : "=r" (self) ); 5 return self;
|
/seL4-camkes-master/projects/musllibc/arch/microblaze/ |
H A D | pthread_arch.h | 3 struct pthread *self; local 4 __asm__ __volatile__ ("ori %0, r21, 0" : "=r" (self) ); 5 return self;
|
/seL4-camkes-master/projects/musllibc/arch/s390x/ |
H A D | pthread_arch.h | 3 struct pthread *self; local 8 : "=r"(self)); 9 return self;
|
/seL4-camkes-master/projects/musllibc/arch/x86_64/ |
H A D | pthread_arch.h | 3 struct pthread *self; local 4 __asm__ __volatile__ ("mov %%fs:0,%0" : "=r" (self) ); 5 return self;
|
/seL4-camkes-master/projects/musllibc/arch/x86_64_sel4/ |
H A D | pthread_arch.h | 3 struct pthread *self; local 4 __asm__ __volatile__ ("mov %%fs:0,%0" : "=r" (self) ); 5 return self;
|
/seL4-camkes-master/projects/camkes-tool/camkes/ast/ |
H A D | location.py | 40 def __init__(self, filename, term, full_source): 42 self._filename = filename 43 self._lineno = None 44 self._min_col = None 45 self._max_col = None 46 self.term = term 47 self.full_source = full_source 50 self.precise = False 52 def _locate(self): 57 if plyplus.is_stree(self [all...] |
H A D | liftedast.py | 29 def __init__(self, items): 31 super(LiftedAST, self).__init__() 32 self._items = list(items or []) 33 self._assembly = None 34 self.claim_children() 37 def items(self): 38 return self._items 40 def items(self, value): 42 if self.frozen: 45 self [all...] |
H A D | base.py | 34 def __init__(self, location=None): 36 self._frozen = False 37 self._location = location 38 self._parent = None 41 def frozen(self): 42 return self._frozen 44 def frozen(self, value): 46 if self._frozen and not value: 48 self._frozen = value 51 def location(self) [all...] |
/seL4-camkes-master/projects/musllibc/src/thread/ |
H A D | pthread_setspecific.c | 5 struct pthread *self = __pthread_self(); local 7 if (self->tsd[k] != x) { 8 self->tsd[k] = (void *)x; 9 self->tsd_used = 1;
|
H A D | tss_set.c | 6 struct pthread *self = __pthread_self(); local 8 if (self->tsd[k] != x) { 9 self->tsd[k] = x; 10 self->tsd_used = 1;
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | teststage2.py | 32 def setUp(self): 33 super(TestStage2, self).setUp() 36 self.parser = Parse2(s1) 40 self.cpp_parser = Parse2(s1) 42 def test_empty_string(self): 43 content, read = self.parser.parse_string('') 45 self.assertEqual(content, []) 46 self.assertLen(read, 0) 48 def test_basic_entity(self): 49 content, read = self [all...] |
H A D | teststage3.py | 37 def setUp(self): 38 super(TestStage3, self).setUp() 42 self.parser = Parse3(s2, debug=True) 47 self.cpp_parser = Parse3(s2, debug=True) 49 def test_empty_string(self): 50 content, read = self.parser.parse_string('') 52 self.assertIsInstance(content, LiftedAST) 53 self.assertEqual(content.children, []) 54 self.assertLen(read, 0) 56 def test_basic_entity(self) [all...] |
H A D | testreader.py | 30 def setUp(self): 31 super(TestReader, self).setUp() 32 self.reader = Reader() 34 def test_empty_string(self): 35 content, read = self.reader.parse_string('') 36 self.assertEqual(content, '') 37 self.assertLen(read, 0) 39 def test_basic_string(self): 40 content, read = self.reader.parse_string('hello world') 41 self [all...] |
H A D | teststage4.py | 38 def setUp(self): 39 super(TestStage4, self).setUp() 44 self.parser = Parse4(s3) 45 self.forward_parser = Parse4(s3, True) 51 self.cpp_parser = Parse4(s3) 53 def test_empty_string(self): 54 ast, read = self.parser.parse_string('') 56 self.assertIsInstance(ast, LiftedAST) 57 self.assertLen(ast.items, 0) 58 self [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/View/ |
H A D | Save_Option_Dialog.py | 24 def picture_type(self): 29 return self.format_combobox.currentIndex() 32 def user_width(self): 39 return int(self.width_lineedit.text()) 44 def user_height(self): 51 return int(self.height_lineedit.text()) 56 def user_title(self): 62 return self.title_lineedit.text() 65 def user_description(self): 71 return self [all...] |
H A D | Connection_Property_Widget.py | 27 def connection_widget(self): 28 assert self._connection_widget is not None 29 return self._connection_widget 32 def connection_widget(self, value): 34 self._connection_widget = value 39 def name_widget(self): 40 if self._name_widget is None: 41 self._name_widget = QtWidgets.QLabel(self.connection_widget.name) 42 return self [all...] |
/seL4-camkes-master/kernel/tools/hardware/ |
H A D | memory.py | 16 def __init__(self, base: int, size: int, owner: 'WrappedNode'): 17 self.base = base 18 self.size = size 19 self.owner = owner 26 def __repr__(self): 27 return 'Region(base=0x{:x},size=0x{:x})'.format(self.base, self.size) 29 def __eq__(self, other): 30 return self.base == other.base and self [all...] |
H A D | fdt.py | 17 def __init__(self, dtb_file: IO[bytes]): 18 self.fdt = pyfdt.pyfdt.FdtBlobParse(dtb_file).to_fdt() 19 self.wrapped_root: WrappedNode 20 self.by_phandle: Dict[int, WrappedNode] = {} 21 self.by_path: Dict[str, WrappedNode] = {} 22 self.irq_controllers: Dict[int, IrqController] = {} 24 self._walk() 26 def _walk(self): 28 root = self.fdt.get_rootnode() 29 self [all...] |
H A D | config.py | 12 def __init__(self, addrspace_max): 13 self.addrspace_max = addrspace_max 15 def get_kernel_phys_align(self) -> int: 19 def get_bootloader_reserve(self) -> int: 24 def get_page_bits(self) -> int: 28 def get_device_page_bits(self) -> int: 30 return self.get_page_bits() 38 def get_kernel_phys_align(self) -> int: 40 return self.SUPERSECTION_BITS 48 def get_bootloader_reserve(self) [all...] |
/seL4-camkes-master/projects/camkes-tool/camkes/visualCAmkES/Controller/ |
H A D | graph_controller.py | 38 def root_widget(self): 40 if self._root_widget is None: 41 self._root_widget = GraphWidget(self.property_dock_widget) 42 return self._root_widget 45 def root_widget(self, value): 47 self._root_widget = value 51 def open_action(self): 55 if self._open_action is None: 56 self [all...] |