Hello! One more idea... > Here you store lpis_enabled globally, and this is plain wrong. By the way, may be we should move this flag, together with pendbaser array, into struct vgic_cpu? Then we would not have to allocate them manually. Kind regards, Pavel Fedin Expert Engineer Samsung Electronics Research center Russia _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm