Symbol: kvm_s390_gib_destroy
arch/s390/kvm/kvm-s390.c
550
kvm_s390_gib_destroy();
arch/s390/kvm/kvm-s390.h
559
void kvm_s390_gib_destroy(void);