In u-boot when displaying the registers, I saw an entry for CCSRBAR:
entry 01: V: 1 EPN 0xfe000000 RPN 0xffe000000 size:16 MiB
and u-boot code does add this entry using the macros CONFIG_SYS_CCSRBAR_DEFAULT(0xFE00_0000) and CONFIG_SYS_CCSRBAR_PHYS(0xF_FE00_0000).
Why is there a need for this? Based on the reference manual, all we need to do is to set a base value for CCSRBAR.
Address 0XF_FE00_0000 seems to have no defined global ID.