Accessing GIC registers

I have a Rockchip RK3308-based board and try to figure out how to handle interrupts. In general, the idea is clear to me, but I don't completely understand how to get GIC registers offsets.

From RK3308 tech documentation, I found that GIC-400 is used in the SoC and it is mapped to address `0xff580000`.

In a device tree file I found details about GIC mapping, but I don't understand what I see:

	gic: interrupt-controller@ff580000 {
		compatible = "arm,gic-400";
		#interrupt-cells = <3>;
		#address-cells = <0>;

		reg = <0x0 0xff581000 0x0 0x1000>,
		      <0x0 0xff582000 0x0 0x2000>,
		      <0x0 0xff584000 0x0 0x2000>,
		      <0x0 0xff586000 0x0 0x2000>;
		interrupts = <GIC_PPI 9 IRQ_TYPE_LEVEL_HIGH>;

I know there're sets of Distributor registers and CPU interface registers for each CPU core. 

How to determine base offset for each register set so that they can be accessed by application?

More questions in this forum