markj 0413ac300f MFC r273236:
Use pmc_destroy_pmc_descriptor() to actually free the pmc, which is
consistent with pmc_destroy_owner_descriptor(). Also be sure to destroy
PMCs if a process exits or execs without explicitly releasing them.
2014-11-06 01:30:13 +00:00
..
2014-10-10 12:02:34 +00:00
2014-06-18 05:35:09 +00:00
2014-11-06 01:30:13 +00:00