as the only argument and cast this as appropriate now that the function pointers to the interrupt registration functions are fully prototyped. Use <machine/conf.h> for the declarations of the device driver entry points.