I'm developing bare-metal application on TWR-LS1021A.
I want to configure GIC, but I cannot find the registers' address of GIC.
To configure GIC, we need to know the CPU interface base address and the distributor base address.
In the reference manual of LS1021A, there are the address map.
But there seems to be only "GIC400" address.
Is the address of "GIC400" distributor base address? And the CPU interface base address is "GIC400" address + 0x8000?