__gic_v3_get_lr
u64 __gic_v3_get_lr(unsigned int lr);
cpu_if->vgic_lr[i] = __gic_v3_get_lr(i);
u64 val = __gic_v3_get_lr(i);
u64 val = __gic_v3_get_lr(i);
host_lr = __gic_v3_get_lr(lr_map_idx_to_shadow_idx(shadow_if, i));