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

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A DseL4HardwareInterrupt.template.c210 static int /*? me.interface.name ?*/_acknowledge_cb(UNUSED void* cookie) { function
224 /*? me.interface.name ?*/_acknowledge_cb,
/seL4-camkes-master/projects/global-components/templates/
H A DseL4GlobalAsynchHardwareInterrupt.template.c213 static int /*? me.interface.name ?*/_acknowledge_cb(UNUSED void* cookie) { function
221 .ack_fun = /*? me.interface.name ?*/_acknowledge_cb,

Completed in 34 milliseconds