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

/seL4-refos-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-refos-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-refos-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-refos-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-refos-master/libs/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-refos-master/seL4_tools/misc/
H A Dwhence.py29 def __init__(self, url): member in class:GitRepo
/seL4-refos-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 117 milliseconds