Searched refs:ipc_buffer_size (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ | ||
H A D | util.py | 123 def ipc_buffer_size(self): member in class:IA32Arch 145 def ipc_buffer_size(self): member in class:X64Arch 167 def ipc_buffer_size(self): member in class:ARM32Arch 198 def ipc_buffer_size(self): member in class:AARCH64Arch 219 def ipc_buffer_size(self): member in class:RISCV64Arch 238 def ipc_buffer_size(self): member in class:RISCV32Arch |
Completed in 30 milliseconds