Hello! > Please find some more comments inline.
Since there are notes about code style, i would add one more thing. structures of v3 implementation keep old names (like GICState), and i would suggest to rename these things (like GICv3State) in order to avoid confusion. Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia
