/* * xc__highpri_intr: * * A software interrupt handler for high priority calls. */