Searched defs: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 28 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie) argument
|
/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 28 void profile_print64(uint64_t value, const char *varname, const char *description, void *cookie) argument
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | profile.h | 24 const char *varname; member in struct:profile_var
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | profile.h | 24 const char *varname; member in struct:profile_var
|
Completed in 28 milliseconds