[PATCH] powerpc/xive: Fix/improve verbose debug output

[Michael Ellerman]

Benjamin Herrenschmidt <benh at kernel.crashing.org> writes:

> The existing verbose debug code doesn't build when enabled.

So why don't we convert all the DBG_VERBOSE() to pr_devel()? 

If there's non-verbose debug that we think would be useful to
differentiate from verbose then those could be pr_debug() - which means
they'll be jump labelled off in most production kernels, but still able
to be enabled.

cheers