Changeset 18b6a88 in mainline for kernel/arch/abs32le

Timestamp:

2018-04-15T09:35:04Z (8 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

c1f44ca

Parents:

8ebe212

Message:

More ccheck fixes, sometimes with manual intervention.

File:

• kernel/arch/abs32le/include/arch/mm/page.h (modified) (2 diffs)

kernel/arch/abs32le/include/arch/mm/page.h

@@ -152 +152 @@
         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 +158 @@
             ((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));
 }