Searched refs:process_arg (Results 1 - 2 of 2) sorted by relevance
/seL4-refos-master/projects/refos/impl/ |
H A D | cidl_compile | 76 def process_arg(name_idl, type_idl, dr = '', mode_idl = None, lenvar_idl = ''): function 109 return process_arg(arg_idl.get("name"), arg_idl.get("type"), arg_idl.get("dir"),\ 114 (_, arg_obj) = process_arg('__ret__', return_type, 'out')
|
/seL4-refos-master/ |
H A D | cidl_compile | 76 def process_arg(name_idl, type_idl, dr = '', mode_idl = None, lenvar_idl = ''): function 109 return process_arg(arg_idl.get("name"), arg_idl.get("type"), arg_idl.get("dir"),\ 114 (_, arg_obj) = process_arg('__ret__', return_type, 'out')
|
Completed in 25 milliseconds