Home
last modified time | relevance | path

Searched defs:vmcr (Results 1 – 8 of 8) sorted by relevance

/Linux-v5.4/virt/kvm/arm/hyp/
Dvgic-v3-sr.c429 void __hyp_text __vgic_v3_write_vmcr(u32 vmcr) in __vgic_v3_write_vmcr()
453 u32 vmcr, in __vgic_v3_highest_priority_lr()
544 static unsigned int __hyp_text __vgic_v3_get_bpr0(u32 vmcr) in __vgic_v3_get_bpr0()
549 static unsigned int __hyp_text __vgic_v3_get_bpr1(u32 vmcr) in __vgic_v3_get_bpr1()
568 static u8 __hyp_text __vgic_v3_pri_to_pre(u8 pri, u32 vmcr, int grp) in __vgic_v3_pri_to_pre()
586 static void __hyp_text __vgic_v3_set_active_priority(u8 pri, u32 vmcr, int grp) in __vgic_v3_set_active_priority()
643 static void __hyp_text __vgic_v3_read_iar(struct kvm_vcpu *vcpu, u32 vmcr, int rt) in __vgic_v3_read_iar()
702 u32 vmcr, int rt) in __vgic_v3_write_dir()
725 static void __hyp_text __vgic_v3_write_eoir(struct kvm_vcpu *vcpu, u32 vmcr, int rt) in __vgic_v3_write_eoir()
762 static void __hyp_text __vgic_v3_read_igrpen0(struct kvm_vcpu *vcpu, u32 vmcr, int rt) in __vgic_v3_read_igrpen0()
[all …]
/Linux-v5.4/arch/arm64/kvm/
Dvgic-sys-reg-v3.c18 struct vgic_vmcr vmcr; in access_gic_ctlr() local
90 struct vgic_vmcr vmcr; in access_gic_pmr() local
106 struct vgic_vmcr vmcr; in access_gic_bpr0() local
124 struct vgic_vmcr vmcr; in access_gic_bpr1() local
150 struct vgic_vmcr vmcr; in access_gic_grpen0() local
168 struct vgic_vmcr vmcr; in access_gic_grpen1() local
/Linux-v5.4/virt/kvm/arm/vgic/
Dvgic-v2.c223 u32 vmcr; in vgic_v2_set_vmcr() local
250 u32 vmcr; in vgic_v2_get_vmcr() local
Dvgic-v3.c209 u32 vmcr; in vgic_v3_set_vmcr() local
239 u32 vmcr; in vgic_v3_get_vmcr() local
Dvgic-mmio-v2.c267 struct vgic_vmcr vmcr; in vgic_mmio_read_vcpuif() local
315 struct vgic_vmcr vmcr; in vgic_mmio_write_vcpuif() local
Dvgic-mmio.c652 void vgic_set_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr) in vgic_set_vmcr()
660 void vgic_get_vmcr(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr) in vgic_get_vmcr()
Dvgic.c954 struct vgic_vmcr vmcr; in kvm_vgic_vcpu_pending_irq() local
/Linux-v5.4/drivers/video/fbdev/
Dcg14.c131 u32 vmcr; /* VBC Master Control */ member