Index: kernel/arch/abs32le/include/arch/mm/page.h
===================================================================
--- kernel/arch/abs32le/include/arch/mm/page.h	(revision 1433ecda9b732f3f185f902feb26826ec2496e03)
+++ kernel/arch/abs32le/include/arch/mm/page.h	(revision 8d58fcaa7e5744b458fcb7645e5a20ddd6eb8092)
@@ -152,6 +152,5 @@
 	pte_t *p = &pt[i];
 
-	return (
-	    ((unsigned int) (!p->page_cache_disable) << PAGE_CACHEABLE_SHIFT) |
+	return (((unsigned int) (!p->page_cache_disable) << PAGE_CACHEABLE_SHIFT) |
 	    ((unsigned int) (!p->present) << PAGE_PRESENT_SHIFT) |
 	    ((unsigned int) p->uaccessible << PAGE_USER_SHIFT) |
@@ -159,6 +158,5 @@
 	    ((unsigned int) p->writeable << PAGE_WRITE_SHIFT) |
 	    (1 << PAGE_EXEC_SHIFT) |
-	    ((unsigned int) p->global << PAGE_GLOBAL_SHIFT)
-	);
+	    ((unsigned int) p->global << PAGE_GLOBAL_SHIFT));
 }