Symbol: _kvm_s390_real_to_abs