SRMMU_PMD_TABLE_SIZE
return srmmu_get_nocache(SRMMU_PMD_TABLE_SIZE,
SRMMU_PMD_TABLE_SIZE);
srmmu_free_nocache(pmd, SRMMU_PMD_TABLE_SIZE);
SRMMU_PMD_TABLE_SIZE, SRMMU_PMD_TABLE_SIZE);
memset(__nocache_fix(pmdp), 0, SRMMU_PMD_TABLE_SIZE);
pmdp = __srmmu_get_nocache(SRMMU_PMD_TABLE_SIZE, SRMMU_PMD_TABLE_SIZE);
memset(pmdp, 0, SRMMU_PMD_TABLE_SIZE);
pmdp = __srmmu_get_nocache(SRMMU_PMD_TABLE_SIZE,
SRMMU_PMD_TABLE_SIZE);
memset(__nocache_fix(pmdp), 0, SRMMU_PMD_TABLE_SIZE);