HomeFreeBSD

... and delete the model, because we currently no longer use it.

Description

... and delete the model, because we currently no longer use it.

Coverity apparently got smarter over time and will produce fewer false
positives around kernel malloc when this model is *not* in use.

Details

Provenance
uqsAuthored on
Parents
rS357731: Add the Coverity modeling file for posterity.
Branches
Unknown
Tags
Unknown