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

/barrelfish-master/include/mdb/
H A Dmdb_counters.h29 extern uint64_t mdb_find_cap_for_address_count;
/barrelfish-master/lib/mdb/
H A Dmdb_tree.c1303 uint64_t mdb_find_cap_for_address_count; variable
1307 mdb_find_cap_for_address_count++;

Completed in 41 milliseconds