Searched refs:profile_reset (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/libs/libsel4utils/src/
H A Dprofile.c50 void profile_reset(void) function
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dprofile.c50 void profile_reset(void) function
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dprofile.h59 void profile_reset(void);
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dprofile.h59 void profile_reset(void);

Completed in 67 milliseconds