Searched defs:pointer (Results 1 - 2 of 2) sorted by relevance
/seL4-mcs-10.1.1/libsel4/tools/ | ||
H A D | syscall_stub_gen.py | 134 def pointer(self): member in class:Type 175 def pointer(self): member in class:PointerType |
/seL4-mcs-10.1.1/manual/tools/libsel4_tools/ | ||
H A D | syscall_stub_gen.py | 134 def pointer(self): member in class:Type 175 def pointer(self): member in class:PointerType |
Completed in 41 milliseconds