Searched refs:dispatch_t48 (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_0/ | ||
H A D | variant_0.h | 71 static inline t1 *dispatch_t48(untyped_func_enum a2, t1 *a3) function |
Completed in 66 milliseconds