Searched refs:__init__ (Results 1 - 15 of 15) sorted by relevance

/seL4-test-master/kernel/tools/hardware/
H A Dconfig.py12 def __init__(self, addrspace_max): member in class:Config
H A Dfdt.py17 def __init__(self, dtb_file: IO[bytes]): member in class:FdtParser
H A Dirq.py25 def __init__(self, node: WrappedNode, tree: 'FdtParser'): member in class:IrqController
H A Dmemory.py16 def __init__(self, base: int, size: int, owner: 'WrappedNode'): member in class:Region
H A Ddevice.py21 def __init__(self, node: pyfdt.pyfdt.FdtNode, parent: 'WrappedNode', path: str): member in class:WrappedNode
/seL4-test-master/kernel/tools/hardware/utils/
H A Drule.py40 def __init__(self, region: Region, kernel_name: str, page_bits: int, max_size: int, condition_macro: str = None, user_ok: bool = False): member in class:KernelRegionGroup
107 def __init__(self, label: str, irq: int, prio: int = 0, sel_macro: str = None, false_irq: int = -1, enable_macro: str = None, desc: str = None): member in class:KernelInterrupt
147 def __init__(self, rule: dict, config: Config): member in class:DeviceRule
218 def __init__(self, yaml: dict, config: Config): member in class:HardwareYaml
/seL4-test-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py97 def __init__(self, name, size_bits, wordsize, double_word=False, native_size_bits=None): member in class:Type
161 def __init__(self, base_type, wordsize): member in class:PointerType
162 Type.__init__(self, base_type.name, wordsize, wordsize)
181 def __init__(self, name, wordsize): member in class:CapType
182 Type.__init__(self, name, wordsize, wordsize)
190 def __init__(self, name, size_bits, wordsize): member in class:StructType
191 Type.__init__(self, name, size_bits, wordsize)
206 def __init__(self, name, size_bits, wordsize): member in class:BitFieldType
207 Type.__init__(self, name, size_bits, wordsize)
215 def __init__(sel member in class:Parameter
221 def __init__(self, node): member in class:Api
[all...]
H A Dbitfield_gen.py1260 def __init__(self, name, tagname, classes, tags): member in class:TaggedUnion
2173 def __init__(self, name, fields, visible_order): member in class:Block
2625 def __init__(self, filename, mode='w', atomic=True): member in class:OutputFile
/seL4-test-master/kernel/libsel4/tools/
H A Dsyscall_stub_gen.py97 def __init__(self, name, size_bits, wordsize, double_word=False, native_size_bits=None): member in class:Type
161 def __init__(self, base_type, wordsize): member in class:PointerType
162 Type.__init__(self, base_type.name, wordsize, wordsize)
181 def __init__(self, name, wordsize): member in class:CapType
182 Type.__init__(self, name, wordsize, wordsize)
190 def __init__(self, name, size_bits, wordsize): member in class:StructType
191 Type.__init__(self, name, size_bits, wordsize)
206 def __init__(self, name, size_bits, wordsize): member in class:BitFieldType
207 Type.__init__(self, name, size_bits, wordsize)
215 def __init__(sel member in class:Parameter
221 def __init__(self, node): member in class:Api
[all...]
H A Dbitfield_gen.py1260 def __init__(self, name, tagname, classes, tags): member in class:TaggedUnion
2173 def __init__(self, name, fields, visible_order): member in class:Block
2625 def __init__(self, filename, mode='w', atomic=True): member in class:OutputFile
/seL4-test-master/tools/seL4/misc/
H A Dwhence.py29 def __init__(self, url): member in class:GitRepo
/seL4-test-master/projects/sel4test/apps/sel4test-driver/scripts/
H A Dcoverage.py31 def __init__(self, use_color): member in class:Colors
/seL4-test-master/tools/nanopb/generator/
H A Dnanopb_generator.py126 def __init__(self, parts = ()): member in class:Names
172 def __init__(self, value = 0, symbols = []): member in class:EncodedSize
212 def __init__(self, names, desc, enum_options): member in class:Enum
285 def __init__(self, worst = 0, checks = [], field_name = 'undefined'): member in class:FieldMaxSize
303 def __init__(self, struct_name, desc, field_options): member in class:Field
687 def __init__(self, struct_name, range_start, field_options): member in class:ExtensionRange
727 def __init__(self, fullname, desc, field_options): member in class:ExtensionField
730 Field.__init__(self, self.fullname + "extmsg", desc, field_options)
779 def __init__(self, struct_name, oneof_desc): member in class:OneOf
874 def __init__(sel member in class:Message
1245 def __init__(self, fdesc, file_options): member in class:ProtoFile
[all...]
/seL4-test-master/kernel/tools/
H A Dlex.py77 def __init__(self, message, s): member in class:LexError
96 def __init__(self, f): member in class:PlyLogger
137 def __init__(self): member in class:Lexer
582 def __init__(self, ldict, log=None, reflags=0): member in class:LexerReflect
H A Dbitfield_gen.py1260 def __init__(self, name, tagname, classes, tags): member in class:TaggedUnion
2173 def __init__(self, name, fields, visible_order): member in class:Block
2625 def __init__(self, filename, mode='w', atomic=True): member in class:OutputFile

Completed in 147 milliseconds