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