include "arch/amd64/conf/GENERIC.MP" pseudo-device kcov 1 option LOCKF_DIAGNOSTIC option WITNESS option WITNESS_LOCKTRACE option WITNESS_WATCH