Searched refs:_emit (Results 1 - 4 of 4) sorted by path

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c870 void /*? e.name ?*/_emit(void) { function
H A Dcomponent.template.h201 void /*? e.name ?*/_emit(void);
/seL4-camkes-master/projects/global-components/templates/
H A Drpc-signalling.template.c31 void /*? me.interface.name ?*/_emit(unsigned int badge) { function
H A DseL4Ethdriver-to.template.c37 void /*? me.interface.name ?*/_emit(unsigned int badge) { function

Completed in 47 milliseconds