exception_buffer — is deprecated.
(exception_buffer bytes)
Copyright © 1995-2010 by Cogent Real-Time Systems, Inc. All rights reserved.