Changeset 1433ecda in mainline for kernel/generic/include/mm/as.h

Timestamp:

2018-04-04T15:42:37Z (6 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

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

Children:

2c4e1cc

Parents:

47b2d7e3

Message:

Fix cstyle: make ccheck-fix and commit only files where all the changes are good.

File:

• kernel/generic/include/mm/as.h (modified) (2 diffs)

kernel/generic/include/mm/as.h

@@ -126 +126 @@
 
 typedef struct {
-        pte_t *(* page_table_create)(unsigned int);
-        void (* page_table_destroy)(pte_t *);
-        void (* page_table_lock)(as_t *, bool);
-        void (* page_table_unlock)(as_t *, bool);
-        bool (* page_table_locked)(as_t *);
+        pte_t *(*page_table_create)(unsigned int);
+        void (*page_table_destroy)(pte_t *);
+        void (*page_table_lock)(as_t *, bool);
+        void (*page_table_unlock)(as_t *, bool);
+        bool (*page_table_locked)(as_t *);
 } as_operations_t;
 
@@ -237 +237 @@
 /** Address space area backend structure. */
 typedef struct mem_backend {
-        bool (* create)(as_area_t *);
-        bool (* resize)(as_area_t *, size_t);
-        void (* share)(as_area_t *);
-        void (* destroy)(as_area_t *);
-
-        bool (* is_resizable)(as_area_t *);
-        bool (* is_shareable)(as_area_t *);
-
-        int (* page_fault)(as_area_t *, uintptr_t, pf_access_t);
-        void (* frame_free)(as_area_t *, uintptr_t, uintptr_t);
-
-        bool (* create_shared_data)(as_area_t *);
-        void (* destroy_shared_data)(void *);
+        bool (*create)(as_area_t *);
+        bool (*resize)(as_area_t *, size_t);
+        void (*share)(as_area_t *);
+        void (*destroy)(as_area_t *);
+
+        bool (*is_resizable)(as_area_t *);
+        bool (*is_shareable)(as_area_t *);
+
+        int (*page_fault)(as_area_t *, uintptr_t, pf_access_t);
+        void (*frame_free)(as_area_t *, uintptr_t, uintptr_t);
+
+        bool (*create_shared_data)(as_area_t *);
+        void (*destroy_shared_data)(void *);
 } mem_backend_t;