Navigation: Linux Kernel Driver DataBase - web LKDDB: Main index - K index
The Linux kernel configuration item CONFIG_KCSAN_VERBOSE
:
CONFIG_PROVE_LOCKING
If enabled, reports show more information about the system state that may help better analyze and debug races. This includes held locks and IRQ trace events.
While this option should generally be benign, we call into more external functions on report generation; if a race report is generated from any one of them, system stability may suffer due to deadlocks or recursion. 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 - K index
Automatically generated (in year 2024). See also LKDDb sources on GitLab