Section E.1

LRM-132

Add (changes in red and blue):

int svGetCallerInfo(char **fileName, int *lineNumber);

/*

* Returns 1 if the current execution thread is in the disabled state.

* Disable protocol must be adhered to if in the disabled state.

*/

int svIsDisabledState();

/*

* Imported functions call this API function during disable processing to acknowledge

* that they are correctly participating in the DPI disable protocol. This function must be

* called before returning from an imported function that is in the disabled state.

*/

void svAckDisabledState();