On Wed, May 9, 2012 at 12:27 PM, Lee Jones [off-list ref] wrote:

On 09/05/12 09:53, Linus Walleij wrote:

quoted

On Fri, May 4, 2012 at 8:23 PM, Lee Jones[off-list ref] ?wrote:

quoted

Apply db8500 related PRCMU Device Tree settings and clean up some
formatting
errors. We also remove one of the PRCMU assigned IRQs, as it is currently
not
used.

Signed-off-by: Lee Jones<redacted>

(...)

quoted

- ? ? ? ? ? ? ? ? ? ? ? interrupts =<46 47>;
+ ? ? ? ? ? ? ? ? ? ? ? interrupts =<0 47 0x4>;

Sorry I don't get it, why is two values in decimal and one in hex?

Please choose one and stick to it...

Because the one on the end is a mask.

<[PPI|SPI] [IRQ Number] [Configuration mask]>

...and I guess there must be a precedent for using hex only
for any mask value. OK then, I'm not a DT person anyway.
Acked-by: Linus Walleij <redacted>

Yours,
Linus Walleij