SRMMU_PTE_TABLE_SIZE
return srmmu_get_nocache(SRMMU_PTE_TABLE_SIZE,
SRMMU_PTE_TABLE_SIZE);
srmmu_free_nocache(pte, SRMMU_PTE_TABLE_SIZE);
srmmu_free_nocache(ptep, SRMMU_PTE_TABLE_SIZE);