The (void) cast isn't particularly popular practice. Did you find that it
actually does anything useful?
What's this here for? It could do with a more usful comment.
If it's trying to perform some synchronisation of device register access
then I suspect it didn't work. Or maybe it happens to work because of how
ppc implements mb(), in which case a direct use of the appropriate ppc
primitive might be clearer.
-