[PATCH] arm: Configure reference clock for Versatile Express timers

[Pawel Moll]

> The only other reference to "System Controller" is at the beginning
> of the document in the preface: "ARM PrimeCell System Controller
> (SP810) Technical Reference Manual (ARM DDI 0254)".
> 
> DDI0254 is not published, so there's nothing on the register
> layout.

It's exactly the DDI0254 that contains the information, but - as you have pointed out - it's marked as obsolete and not available any more. Don't really know the reason... 

I spent quite a lot of time investigating the problem and it appears that this cell is of little use these days - the only useful function is the timers reference clock muxer. I didn't even know that there the header file with its register offsets exist at all :-) before Will pointed this out...

So - as I said - the named constants are the best I can do.

Cheers!

Paweł