srmmu_get_nocache
void *srmmu_get_nocache(int size, int align);
return srmmu_get_nocache(SRMMU_PMD_TABLE_SIZE,
return srmmu_get_nocache(SRMMU_PTE_TABLE_SIZE,