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

/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dbenchmark_track.h27 seL4_Word userlevelfault_entries = 0; local
41 userlevelfault_entries++;
50 fprintf(fd, "Number of user-level faults %d\n", userlevelfault_entries);

Completed in 84 milliseconds