vgic_v3_save_pending_tables  641 virt/kvm/arm/vgic/vgic-kvm-device.c 			ret = vgic_v3_save_pending_tables(dev->kvm);
vgic_v3_save_pending_tables  221 virt/kvm/arm/vgic/vgic.h int vgic_v3_save_pending_tables(struct kvm *kvm);