Mark unused arguments __attribute__((__unused__)).

Arguably casts to (void) might be better; I could argue that either
way.  The __attribute__ way wins at the moment.