Symbol: _kvm_va_pte_num