Searched refs:read_vbpr (Results 1 – 1 of 1) sorted by relevance
107 static int read_vbpr(GICv3CPUState *cs, int grp) in read_vbpr() function 283 bpr = read_vbpr(cs, group); in icv_gprio_mask() 602 bpr = read_vbpr(cs, grp); in icv_bpr_read() 2766 write_vbpr(cs, GICV3_G0, read_vbpr(cs, GICV3_G0)); in ich_vmcr_write() 2767 write_vbpr(cs, GICV3_G1, read_vbpr(cs, GICV3_G1)); in ich_vmcr_write()