Searched defs:model (Results 1 – 1 of 1) sorted by relevance
27 u32 model = vcpu->kvm->arch.vgic.vgic_model; in vgic_v3_process_maintenance() local73 u32 model = vcpu->kvm->arch.vgic.vgic_model; in vgic_v3_fold_lr_state() local127 u32 model = vcpu->kvm->arch.vgic.vgic_model; in vgic_v3_populate_lr() local