srmmu_free_nocache

16

void srmmu_free_nocache(void *addr, int size);

23

srmmu_free_nocache(pgd, SRMMU_PGD_TABLE_SIZE);

47

srmmu_free_nocache(pmd, SRMMU_PMD_TABLE_SIZE);

69

srmmu_free_nocache(pte, SRMMU_PTE_TABLE_SIZE);

372

srmmu_free_nocache(ptep, SRMMU_PTE_TABLE_SIZE);