Symbol: contract_dtor
usr/src/uts/common/os/contract.c
336
contract_dtor(ct);
usr/src/uts/common/os/contract.c
435
contract_dtor(ct);