/* * The common interface input routine that is called by device drivers, * which should be used only when the driver's rx handler already runs * in softint. */