Is USERDEFINED an old name for CALLOTHER? #7068
Description
The HTML P-Code reference documentation describes USERDEFINED as a pseudo p-code operation kind; however, there is no USERDEFINED value in the PcodeOp class in Java. The documentation also doesn't mention CALLOTHER. These two operations appear to serve the same role. Is the documentation out of date?