Searched refs:callback32 (Results 1 - 4 of 4) sorted by relevance
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | profile.c | 33 void profile_scrape(profile_callback32 callback32, profile_callback64 callback64, void *cookie) argument 38 callback32(*(uint32_t*)i->var, i->varname, i->description, cookie);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | profile.c | 33 void profile_scrape(profile_callback32 callback32, profile_callback64 callback64, void *cookie) argument 38 callback32(*(uint32_t*)i->var, i->varname, i->description, cookie);
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | profile.h | 56 void profile_scrape(profile_callback32 callback32, profile_callback64 callback64, void *cookie);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | profile.h | 56 void profile_scrape(profile_callback32 callback32, profile_callback64 callback64, void *cookie);
|
Completed in 80 milliseconds