3264 /* Interface to device drivers. */