Lines Matching refs:vcpu_set_reg
701 vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK); in __vgic_v3_read_iar()
705 vcpu_set_reg(vcpu, rt, ICC_IAR1_EL1_SPURIOUS); in __vgic_v3_read_iar()
790 vcpu_set_reg(vcpu, rt, !!(vmcr & ICH_VMCR_ENG0_MASK)); in __vgic_v3_read_igrpen0()
795 vcpu_set_reg(vcpu, rt, !!(vmcr & ICH_VMCR_ENG1_MASK)); in __vgic_v3_read_igrpen1()
824 vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr0(vmcr)); in __vgic_v3_read_bpr0()
829 vcpu_set_reg(vcpu, rt, __vgic_v3_get_bpr1(vmcr)); in __vgic_v3_read_bpr1()
878 vcpu_set_reg(vcpu, rt, val); in __vgic_v3_read_apxrn()
949 vcpu_set_reg(vcpu, rt, lr_val & ICH_LR_VIRTUAL_ID_MASK); in __vgic_v3_read_hppir()
956 vcpu_set_reg(vcpu, rt, vmcr); in __vgic_v3_read_pmr()
974 vcpu_set_reg(vcpu, rt, val); in __vgic_v3_read_rpr()
996 vcpu_set_reg(vcpu, rt, val); in __vgic_v3_read_ctlr()