> + BUG_ON((*cqe_flushed == 0) && !SW_CQE(*hw_cqe)); BUG_ON()s are kind of nasty -- possibly killing the whole box because of a driver issue or an unanticipated HW quirk -- is there any way to report this problem and try to limp on? - R.