Searched refs:srmmu_free_nocache (Results 1 – 2 of 2) sorted by relevance
16 void srmmu_free_nocache(void *addr, int size);23 srmmu_free_nocache(pgd, SRMMU_PGD_TABLE_SIZE); in free_pgd_fast()47 srmmu_free_nocache(pmd, SRMMU_PMD_TABLE_SIZE); in free_pmd_fast()69 srmmu_free_nocache(pte, SRMMU_PTE_TABLE_SIZE); in free_pte_fast()
191 void srmmu_free_nocache(void *addr, int size) in srmmu_free_nocache() function378 srmmu_free_nocache(ptep, SRMMU_PTE_TABLE_SIZE); in pte_free()