Home
last modified time | relevance | path

Searched refs:hash (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/machine/
A Dprofiler.c140 word_t hash = (pc >> 2) % MAX_UNIQUE_INSTRUCTIONS; in profiler_record_sample() local
149 if (profiler_entries[hash].pc == pc) { in profiler_record_sample()
152 profiler_entries[hash].count++; in profiler_record_sample()
155 } else if (profiler_entries[hash].pc == 0) { in profiler_record_sample()
159 profiler_entries[hash].pc = pc; in profiler_record_sample()
160 profiler_entries[hash].count = 1; in profiler_record_sample()
171 hash += hash2; in profiler_record_sample()
172 hash %= MAX_UNIQUE_INSTRUCTIONS; in profiler_record_sample()
/seL4-master/tools/hardware/
A Dmemory.py47 return hash((self.base, self.size))
A Ddevice.py169 return hash(self.path)
/seL4-master/manual/
A DDoxyfile12 # All text after a double hash (##) is considered a comment and is placed in
15 # All text after a single hash (#) is considered a comment and will be ignored.

Completed in 11 milliseconds