Symbol: kvmppc_mmu_hpte_cache_free