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

/seL4-refos-master/projects/refos/impl/
H A Dcidl_compile40 HEADER_PFX = 'refos-rpc/' variable
61 return (HEADER_PFX + get_if_name(if_name) + '_%s.h')%('client' if client_mode else 'server')
159 dct_root['includes'].append('#include <%srpc.h>' % HEADER_PFX)
/seL4-refos-master/
H A Dcidl_compile40 HEADER_PFX = 'refos-rpc/' variable
61 return (HEADER_PFX + get_if_name(if_name) + '_%s.h')%('client' if client_mode else 'server')
159 dct_root['includes'].append('#include <%srpc.h>' % HEADER_PFX)

Completed in 25 milliseconds