Searched defs:tlb_flush_count (Results 1 – 2 of 2) sorted by relevance
| /dflybsd-src/sys/platform/pc64/x86_64/ | ||
| H A D | swtch.s | 123 tlb_flush_count: .long 0 label |
| /dflybsd-src/sys/platform/vkernel64/x86_64/ | ||
| H A D | swtch.s | 91 tlb_flush_count: .long 0 label |