I actually did look for a bit and never found a definitive list. I've found descriptions of the bitfield and some sample values, but I haven't seen an actual official list.
That's correct, I don't think such a list exists (at least within official ARM specs). What I meant is searching for the register name and getting the number out the relevant TRM).
Cheers!
Paweł