_destroy_task — should never be used.
This function should not be used under any circumstances.
Copyright © 1995-2010 by Cogent Real-Time Systems, Inc. All rights reserved.