Symbol: vgic_v3_save_pending_tables
arch/arm64/kvm/vgic/vgic-kvm-device.c
278
r = vgic_v3_save_pending_tables(dev->kvm);
arch/arm64/kvm/vgic/vgic.h
332
int vgic_v3_save_pending_tables(struct kvm *kvm);