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()
314 kvm_err("Need to set vgic cpu and dist addresses first\n"); in vgic_v2_map_resources()
320 kvm_err("VGIC CPU and dist frames overlap\n"); in vgic_v2_map_resources()
326 * Initialize the vgic if this hasn't already been done on demand by in vgic_v2_map_resources()
327 * accessing the vgic state from userspace. in vgic_v2_map_resources()
331 kvm_err("Unable to initialize VGIC dynamic data structures\n"); in vgic_v2_map_resources()
337 kvm_err("Unable to register VGIC MMIO regions\n"); in vgic_v2_map_resources()
346 kvm_err("Unable to remap VGIC CPU to VCPU\n"); in vgic_v2_map_resources()
415 kvm_debug("vgic-v2@%llx\n", info->vctrl.start); in vgic_v2_probe()