/* Public interface. */ /* * softint_establish: * * Register a software interrupt handler. */