kvmppc_mmu_hpte_cache_free
extern void kvmppc_mmu_hpte_cache_free(struct hpte_cache *pte);
kvmppc_mmu_hpte_cache_free(cpte);