/* Alignments up to the page size are the same for physical and virtual addresses of the nocache area.  */
static pte_t* srmmu_pte_alloc_one_kernel(struct mm_struct *mm, unsigned long address)
/* Alignments up to the page size are the same for physical and virtual addresses of the nocache area.  */
static pte_t* srmmu_pte_alloc_one_kernel(struct mm_struct *mm, unsigned long address)
{
	return (pte_t *)srmmu_get_nocache(PTE_SIZE, PTE_SIZE);
}