56 /* * Device driver buffer queue. */