VGIC_V3_MAX_LRS
u64 vgic_lr[VGIC_V3_MAX_LRS];
#define VGIC_V3_LR_INDEX(lr) (VGIC_V3_MAX_LRS - 1 - lr)