Hello Omar and thank you for your swift response!
I can see why an external clock may be useful but I fear that I am still confused. The clocking diagram on page 279 of UM11065 rev.3 shows a completely different clock tree derived from the system clock instead of the FRO or external clock input:

Why are there two different clock trees and what are they used for? In my tests the ADC operates normally even with ADCLKSEL set to "none".
The reason I ask is that I originally thought clock generated by the ADCCLKSEL multiplexer was the only one used and spent longer than I'd like to admit debugging a race condition where the register interface clock (bit 24 of SYSAHBCLKCTRL above) was sometimes temporarily masked in an interrupt, during which time external triggers do not work.
To avoid future trouble I would therefore like to clear up what the these two clocks are used for.
Regards,
Johan