Lines Matching refs:read_gicreg
23 return read_gicreg(ICH_LR0_EL2);
25 return read_gicreg(ICH_LR1_EL2);
27 return read_gicreg(ICH_LR2_EL2);
29 return read_gicreg(ICH_LR3_EL2);
31 return read_gicreg(ICH_LR4_EL2);
33 return read_gicreg(ICH_LR5_EL2);
35 return read_gicreg(ICH_LR6_EL2);
37 return read_gicreg(ICH_LR7_EL2);
39 return read_gicreg(ICH_LR8_EL2);
41 return read_gicreg(ICH_LR9_EL2);
43 return read_gicreg(ICH_LR10_EL2);
45 return read_gicreg(ICH_LR11_EL2);
47 return read_gicreg(ICH_LR12_EL2);
49 return read_gicreg(ICH_LR13_EL2);
51 return read_gicreg(ICH_LR14_EL2);
53 return read_gicreg(ICH_LR15_EL2);
155 val = read_gicreg(ICH_AP0R0_EL2);
158 val = read_gicreg(ICH_AP0R1_EL2);
161 val = read_gicreg(ICH_AP0R2_EL2);
164 val = read_gicreg(ICH_AP0R3_EL2);
179 val = read_gicreg(ICH_AP1R0_EL2);
182 val = read_gicreg(ICH_AP1R1_EL2);
185 val = read_gicreg(ICH_AP1R2_EL2);
188 val = read_gicreg(ICH_AP1R3_EL2);
217 elrsr = read_gicreg(ICH_ELRSR_EL2);
292 write_gicreg(read_gicreg(ICC_SRE_EL2) & ~ICC_SRE_EL2_ENABLE,
310 cpu_if->vgic_vmcr = read_gicreg(ICH_VMCR_EL2);
313 val = read_gicreg(ICC_SRE_EL2);
336 val = read_gicreg(ICH_VTR_EL2);
369 val = read_gicreg(ICH_VTR_EL2);
399 int max_lr_idx = vtr_to_max_lr_idx(read_gicreg(ICH_VTR_EL2));
408 return read_gicreg(ICH_VTR_EL2);
413 return read_gicreg(ICH_VMCR_EL2);
424 return 8 - vtr_to_nr_pre_bits(read_gicreg(ICH_VTR_EL2));
498 u8 nr_apr_regs = vtr_to_nr_apr_regs(read_gicreg(ICH_VTR_EL2));
591 u8 nr_apr_regs = vtr_to_nr_apr_regs(read_gicreg(ICH_VTR_EL2));
680 hcr = read_gicreg(ICH_HCR_EL2);
938 vtr = read_gicreg(ICH_VTR_EL2);