Navigation: Linux Kernel Driver DataBase - web LKDDB: Main index - P index         

CONFIG_PROVE_RCU: RCU debugging: prove RCU correctness

General informations

The Linux kernel configuration item CONFIG_PROVE_RCU:

Help text

This feature enables lockdep extensions that check for correct use of RCU APIs. This is currently under development. Say Y if you want to debug RCU usage or help work on the PROVE_RCU feature.

Say N if you are unsure.

Hardware

LKDDb

Raw data from LKDDb:

Sources

This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).

The data is retrived from:

Automatic links from google (and ads)

Custom Search

Popular queries:

Navigation: Linux Kernel Driver DataBase - web LKDDB: main index - P index

Automatically generated (in year 2014) with gen-web-lkddb.py in lkddb-sources.