Searched refs:max_lr_idx (Results 1 – 1 of 1) sorted by relevance
401 int max_lr_idx = vtr_to_max_lr_idx(read_gicreg(ICH_VTR_EL2)); in __vgic_v3_init_lrs() local404 for (i = 0; i <= max_lr_idx; i++) in __vgic_v3_init_lrs()