Lines Matching refs:vcpu_set_reg
675 vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK); in __vgic_v3_read_iar()
679 vcpu_set_reg(vcpu, rt, ICC_IAR1_EL1_SPURIOUS); in __vgic_v3_read_iar()
767 vcpu_set_reg(vcpu, rt, !!(vmcr & ICH_VMCR_ENG0_MASK)); in __vgic_v3_read_igrpen0()
772 vcpu_set_reg(vcpu, rt, !!(vmcr & ICH_VMCR_ENG1_MASK)); in __vgic_v3_read_igrpen1()
801 vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr0(vmcr)); in __vgic_v3_read_bpr0()
806 vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr1(vmcr)); in __vgic_v3_read_bpr1()
855 vcpu_set_reg(vcpu, rt, val); in __vgic_v3_read_apxrn()
933 vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK); in __vgic_v3_read_hppir()
941 vcpu_set_reg(vcpu, rt, vmcr); in __vgic_v3_read_pmr()
961 vcpu_set_reg(vcpu, rt, val); in __vgic_v3_read_rpr()
983 vcpu_set_reg(vcpu, rt, val); in __vgic_v3_read_ctlr()