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

/seL4-refos-master/libs/libsel4utils/src/
H A Dprofile.c33 void profile_scrape(profile_callback32 callback32, profile_callback64 callback64, void *cookie) function
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dprofile.c33 void profile_scrape(profile_callback32 callback32, profile_callback64 callback64, void *cookie) function
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dprofile.h56 void profile_scrape(profile_callback32 callback32, profile_callback64 callback64, void *cookie);
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dprofile.h56 void profile_scrape(profile_callback32 callback32, profile_callback64 callback64, void *cookie);

Completed in 24 milliseconds