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

/seL4-camkes-master/projects/global-components/templates/
H A Drpc-signalling.template.c24 void /*? me.interface.name ?*/_emit_/*? badges[loop.index0] ?*/(void) { function
36 [/*? badge ?*/] = /*? me.interface.name ?*/_emit_/*? badge ?*/,
H A DseL4Ethdriver-to.template.c31 void /*? me.interface.name ?*/_emit_/*? badge ?*/(void) { function
42 [/*? badge ?*/] = /*? me.interface.name ?*/_emit_/*? badge ?*/,

Completed in 41 milliseconds