Navigation: Linux Kernel Driver DataBase - web LKDDB: Main index - D index
The Linux kernel configuration item CONFIG_DEBUG_TLBFLUSH
:
CONFIG_DEBUG_KERNEL
X86-only for now.
This option allows the user to tune the amount of TLB entries the kernel flushes one-by-one instead of doing a full TLB flush. In certain situations, the former is cheaper. This is controlled by the tlb_flushall_shift knob under /sys/kernel/debug/x86. If you set it to -1, the code flushes the whole TLB unconditionally. Otherwise, for positive values of it, the kernel will use single TLB entry invalidating instructions according to the following formula:
flush_entries <= active_tlb_entries / 2^tlb_flushall_shift
If in doubt, say "N".
Raw data from LKDDb:
(none)
This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).
The data is retrived from:
Popular queries:
Navigation: Linux Kernel Driver DataBase - web LKDDB: main index - D index
Automatically generated (in year 2024). See also LKDDb sources on GitLab