You don't need to interrupt every time. Place your data in a queue (you
do support rmw operations, right?) and interrupt. Invalidates from
other processors will see that the queue hasn't been processed yet and
skip the interrupt.
--
error compiling committee.c: too many arguments to function
--