On Thu, 24 Oct 2024 at 12:32, Paolo Bonzini <pbonz...@redhat.com> wrote: > > The device control API was added in 2013, assume that it is present. > > Signed-off-by: Paolo Bonzini <pbonz...@redhat.com> > --- > target/arm/kvm_arm.h | 16 +++++++--------- > hw/intc/arm_gic_kvm.c | 9 +-------- > target/arm/kvm.c | 17 +++++------------ > 3 files changed, 13 insertions(+), 29 deletions(-)
Applied to target-arm.next, thanks. -- PMM
