Lines Matching full:vgic
12 #include "vgic-mmio.h"
13 #include "vgic.h"
321 * rising edges as input to the VGIC. We therefore lower the line in vgic_v2_populate_lr()
422 struct vgic_dist *dist = &kvm->arch.vgic; in vgic_v2_map_resources()
428 kvm_debug("Need to set vgic cpu and dist addresses first\n"); in vgic_v2_map_resources()
433 kvm_debug("VGIC CPU and dist frames overlap\n"); in vgic_v2_map_resources()
438 * Initialize the vgic if this hasn't already been done on demand by in vgic_v2_map_resources()
439 * accessing the vgic state from userspace. in vgic_v2_map_resources()
443 kvm_err("Unable to initialize VGIC dynamic data structures\n"); in vgic_v2_map_resources()
462 kvm_err("Unable to remap VGIC CPU to VCPU\n"); in vgic_v2_map_resources()
534 kvm_debug("vgic-v2@%llx\n", info->vctrl.start); in vgic_v2_probe()