Built-in number for DESINX is 35.
DESINX (
index : address of system pointer
)
Description:
A previously created index identified by operand 1 is
destroyed, and addressability to the object is removed from any
context in which addressability
exists. The system pointer identified by
operand 1 is not modified by the
instruction, and a subsequent reference to the destroyed index through
the pointer results in an object destroyed (hex 2202) exception.
Permanent index objects cannot be destroyed by user state programs when
the system security level is 40 or above.
This operation will cause an object domain or hardware storage protection violation (hex 4401) exception if attempted from user
state on an index object with the restrict index operations from user state at all security levels
attribute set to binary 1.