uts/common/avs/ns/contract.h makes source searches tedious
AVS has a header, source:usr/src/uts/common/avs/ns/contract.h for the sole purpose of the ddi compatibility test (part of the DDK, though I can no longer find a copy).
What the header does, is "define" every non-DDI interface which AVS consumes, muddying source searches for little benefit: 1) Very little of the source is DDI compliant. 2) The tool it's trying to appease appears to be unavailable. 3) The incompatible changes they're hedging against would, now, be made by us.
We should just yank the header (and any similar ddict appeasement)