Searched refs:vtr_to_max_lr_idx (Results 1 – 1 of 1) sorted by relevance
17 #define vtr_to_max_lr_idx(v) ((v) & 0xf) macro401 int max_lr_idx = vtr_to_max_lr_idx(read_gicreg(ICH_VTR_EL2)); in __vgic_v3_init_lrs()