Do not use word such as get or set in comment.
In this case, you can use Returns base address of GIC.