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