Code Editor : arm_vgic.h