arm_gic interface is used
accessing registers in a device implementing the Generic Interrupt
Controller architecture..
The read_register function is called reading the registers in GIC device.
The write_register function is called writing the registers in GIC device.
The cpu_state_changed function is called to notify the GIC device that the cpu has changed state. This function is only called when the cpu changes state with an interrupt pending.