#include <vmm.h>
ULONG EXTERNAL _ContextDestroy(PCD hcd);
Destroys a memory context created by the _ContextCreate service. Do not call this service.
To destroy a memory context, this service must be called twice. The first call must be from within the dying memory context, and the hcd parameter must be zero. The second call must be from a different context, and the hcd parameter must be the handle of the dying context.
_ContextCreate