Searched refs:varname (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | profile.c | 24 void profile_print32(uint32_t value, const char *varname, const char *description, void *cookie) argument
26 printf("%s: %"PRIu32" %s\n", varname, value, description);
28 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie) argument
30 printf("%s: %"PRIu64" %s\n", varname, value, description);
38 callback32(*(uint32_t*)i->var, i->varname, i->description, cookie);
41 callback64(*(uint64_t*)i->var, i->varname, i->description, cookie);
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | profile.c | 24 void profile_print32(uint32_t value, const char *varname, const char *description, void *cookie) argument
26 printf("%s: %"PRIu32" %s\n", varname, value, description);
28 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie) argument
30 printf("%s: %"PRIu64" %s\n", varname, value, description);
38 callback32(*(uint32_t*)i->var, i->varname, i->description, cookie);
41 callback64(*(uint64_t*)i->var, i->varname, i->description, cookie);
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | profile.h | 24 const char *varname; member in struct:profile_var
31 = {.type = _type, .var = &_var, .varname = #_var, .description = _description}
47 typedef void (*profile_callback32)(uint32_t value, const char *varname, const char *descrption, void *cookie);
48 typedef void (*profile_callback64)(uint64_t value, const char *varname, const char *descrption, void *cookie);
51 void profile_print32(uint32_t value, const char *varname, const char *description, void *cookie);
52 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie);
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | profile.h | 24 const char *varname; member in struct:profile_var
31 = {.type = _type, .var = &_var, .varname = #_var, .description = _description}
47 typedef void (*profile_callback32)(uint32_t value, const char *varname, const char *descrption, void *cookie);
48 typedef void (*profile_callback64)(uint64_t value, const char *varname, const char *descrption, void *cookie);
51 void profile_print32(uint32_t value, const char *varname, const char *description, void *cookie);
52 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie);
|
Completed in 153 milliseconds