/* copied nearly verbatim from the Linux driver rewrite */