Searched defs:vgic_vmcr (Results 1 – 1 of 1) sorted by relevance
105 struct vgic_vmcr { struct122 void (*get_vmcr)(struct kvm_vcpu *vcpu, struct vgic_vmcr *vmcr); argument259 u32 vgic_vmcr; member270 u32 vgic_vmcr; member