Lines Matching full:vgic

12 #include "vgic.h"
101 		 * observe rising edges as input to the VGIC.  in vgic_v2_fold_lr_state()
202 	 * rising edges as input to the VGIC.  We therefore lower the line  in vgic_v2_populate_lr()
306 	struct vgic_dist *dist = &kvm->arch.vgic;  in vgic_v2_map_resources()
311 		kvm_err("Need to set vgic cpu and dist addresses first\n");  in vgic_v2_map_resources()
316 		kvm_err("VGIC CPU and dist frames overlap\n");  in vgic_v2_map_resources()
321 	 * Initialize the vgic if this hasn't already been done on demand by  in vgic_v2_map_resources()
322 	 * accessing the vgic state from userspace.  in vgic_v2_map_resources()
326 		kvm_err("Unable to initialize VGIC dynamic data structures\n");  in vgic_v2_map_resources()
332 		kvm_err("Unable to register VGIC MMIO regions\n");  in vgic_v2_map_resources()
341 			kvm_err("Unable to remap VGIC CPU to VCPU\n");  in vgic_v2_map_resources()
407 	kvm_debug("vgic-v2@%llx\n", info->vctrl.start);  in vgic_v2_probe()