Searched refs:process_arg (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/
H A Dcidl_compile76 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 Dcidl_compile76 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