__gic_v3_set_lr
void __gic_v3_set_lr(u64 val, int lr);
__gic_v3_set_lr(0, i);
__gic_v3_set_lr(cpu_if->vgic_lr[i], i);
__gic_v3_set_lr(0, i);
__gic_v3_set_lr(lr_val, lr);
__gic_v3_set_lr(lr_val, lr);
__gic_v3_set_lr(cpu_if->vgic_lr[i], i);
__gic_v3_set_lr(0, i);