trivial: formatting

- remove trailing spaces - add linebreaks at end of file Signed-off-by: Axel Heider <[email protected]>
seL4 · Aug 23, 2023 · e50c6cc · e50c6cc
1 parent 54364e9
commit e50c6cc
Show file tree

Hide file tree

Showing 4 changed files with 33 additions and 33 deletions.
diff --git a/capDL-tool/camkes-adder-arm.right b/capDL-tool/camkes-adder-arm.right
@@ -205,19 +205,19 @@ objects {
     1: adder_group_bin_pd
     4: adder_frame__camkes_ipc_buffer_adder_0_control (RW)
   }
-  
+
   adder_adder_0_fault_handler_tcb {
     0: adder_cnode (guard_size: 28)
     1: adder_group_bin_pd
     4: adder_frame__camkes_ipc_buffer_adder_0_fault_handler (RW)
   }
-  
+
   adder_adder_a_0000_tcb {
     0: adder_cnode (guard_size: 28)
     1: adder_group_bin_pd
     4: adder_frame__camkes_ipc_buffer_adder_a_0000 (RW)
   }
-  
+
   adder_cnode {
     1: adder_adder_0_control_tcb
     2: adder_fault_ep (badge: 1, RWP)
@@ -230,24 +230,24 @@ objects {
     9: adder_post_init_ep (RW)
     10: p_ep (R)
   }
-  
+
   adder_group_bin_pd {
     0: pt_adder_group_bin_0000
     1: pt_adder_group_bin_0003
   }
-  
+
   client_client_0_control_tcb {
     0: client_cnode (guard_size: 28)
     1: client_group_bin_pd
     4: client_frame__camkes_ipc_buffer_client_0_control (RW)
   }
-  
+
   client_client_0_fault_handler_tcb {
     0: client_cnode (guard_size: 28)
     1: client_group_bin_pd
     4: client_frame__camkes_ipc_buffer_client_0_fault_handler (RW)
   }
-  
+
   client_cnode {
     1: client_client_0_control_tcb
     2: client_fault_ep (badge: 1, RWP)
@@ -258,12 +258,12 @@ objects {
     7: client_post_init_ep (RW)
     8: p_ep (badge: 1, WP)
   }
-  
+
   client_group_bin_pd {
     0: pt_client_group_bin_0000
     1: pt_client_group_bin_0003
   }
-  
+
   pt_adder_group_bin_0000 {
     16: frame_adder_group_bin_0000 (RWX)
     32: frame_adder_group_bin_0001 (RWX)
@@ -281,7 +281,7 @@ objects {
     224: frame_adder_group_bin_0023 (RWX)
     240: frame_adder_group_bin_0047 (RWX)
   }
-  
+
   pt_adder_group_bin_0003 {
     0: frame_adder_group_bin_0025 (RWX)
     16: frame_adder_group_bin_0049 (RWX)
@@ -308,7 +308,7 @@ objects {
     93: adder_frame__camkes_ipc_buffer_adder_0_fault_handler (RW)
     95: s_data_0_obj (RWX, uncached)
   }
-  
+
   pt_client_group_bin_0000 {
     16: frame_client_group_bin_0000 (RWX)
     32: frame_client_group_bin_0001 (RWX)
@@ -326,7 +326,7 @@ objects {
     224: frame_client_group_bin_0016 (RWX)
     240: frame_client_group_bin_0036 (RWX)
   }
-  
+
   pt_client_group_bin_0003 {
     0: frame_client_group_bin_0018 (RWX)
     16: frame_client_group_bin_0037 (RWX)
@@ -344,9 +344,9 @@ objects {
     80: client_frame__camkes_ipc_buffer_client_0_fault_handler (RW)
     82: s_data_0_obj (RWX, uncached)
   }
-  
+
 } cdt {
 
 } irq maps {
 
-}
+}
diff --git a/capDL-tool/camkes-adder-arm.thy.right b/capDL-tool/camkes-adder-arm.thy.right
@@ -338,7 +338,7 @@ definition adder_group_bin_pd_caps :: "cdl_cap_map" where
 definition adder_group_bin_pd :: "cdl_object" where
 "adder_group_bin_pd \<equiv> Types_D.PageDirectory \<lparr> cdl_page_directory_caps = adder_group_bin_pd_caps \<rparr>"
 
-lemma adder_group_bin_pd_object_slots: 
+lemma adder_group_bin_pd_object_slots:
   "object_slots adder_group_bin_pd = adder_group_bin_pd_caps"
   by (simp add: adder_group_bin_pd_def object_slots_def)
 
@@ -349,7 +349,7 @@ definition client_group_bin_pd_caps :: "cdl_cap_map" where
 definition client_group_bin_pd :: "cdl_object" where
 "client_group_bin_pd \<equiv> Types_D.PageDirectory \<lparr> cdl_page_directory_caps = client_group_bin_pd_caps \<rparr>"
 
-lemma client_group_bin_pd_object_slots: 
+lemma client_group_bin_pd_object_slots:
   "object_slots client_group_bin_pd = client_group_bin_pd_caps"
   by (simp add: client_group_bin_pd_def object_slots_def)
 
@@ -633,7 +633,7 @@ definition adder_adder_0_control_tcb :: "cdl_object" where
                                                          cdl_tcb_has_fault = True,
                                                          cdl_tcb_domain = 0 \<rparr>"
 
-lemma adder_adder_0_control_tcb_object_slots: 
+lemma adder_adder_0_control_tcb_object_slots:
   "object_slots adder_adder_0_control_tcb = adder_adder_0_control_tcb_caps"
   by (simp add: adder_adder_0_control_tcb_def object_slots_def)
 
@@ -649,7 +649,7 @@ definition adder_adder_0_fault_handler_tcb :: "cdl_object" where
                                                                cdl_tcb_has_fault = False,
                                                                cdl_tcb_domain = 0 \<rparr>"
 
-lemma adder_adder_0_fault_handler_tcb_object_slots: 
+lemma adder_adder_0_fault_handler_tcb_object_slots:
   "object_slots adder_adder_0_fault_handler_tcb = adder_adder_0_fault_handler_tcb_caps"
   by (simp add: adder_adder_0_fault_handler_tcb_def object_slots_def)
 
@@ -665,7 +665,7 @@ definition adder_adder_a_0000_tcb :: "cdl_object" where
                                                       cdl_tcb_has_fault = True,
                                                       cdl_tcb_domain = 0 \<rparr>"
 
-lemma adder_adder_a_0000_tcb_object_slots: 
+lemma adder_adder_a_0000_tcb_object_slots:
   "object_slots adder_adder_a_0000_tcb = adder_adder_a_0000_tcb_caps"
   by (simp add: adder_adder_a_0000_tcb_def object_slots_def)
 
@@ -681,7 +681,7 @@ definition client_client_0_control_tcb :: "cdl_object" where
                                                            cdl_tcb_has_fault = True,
                                                            cdl_tcb_domain = 0 \<rparr>"
 
-lemma client_client_0_control_tcb_object_slots: 
+lemma client_client_0_control_tcb_object_slots:
   "object_slots client_client_0_control_tcb = client_client_0_control_tcb_caps"
   by (simp add: client_client_0_control_tcb_def object_slots_def)
 
@@ -697,7 +697,7 @@ definition client_client_0_fault_handler_tcb :: "cdl_object" where
                                                                  cdl_tcb_has_fault = False,
                                                                  cdl_tcb_domain = 0 \<rparr>"
 
-lemma client_client_0_fault_handler_tcb_object_slots: 
+lemma client_client_0_fault_handler_tcb_object_slots:
   "object_slots client_client_0_fault_handler_tcb = client_client_0_fault_handler_tcb_caps"
   by (simp add: client_client_0_fault_handler_tcb_def object_slots_def)
 
@@ -721,7 +721,7 @@ definition pt_adder_group_bin_0000_caps :: "cdl_cap_map" where
 definition pt_adder_group_bin_0000 :: "cdl_object" where
 "pt_adder_group_bin_0000 \<equiv> Types_D.PageTable \<lparr> cdl_page_table_caps = pt_adder_group_bin_0000_caps \<rparr>"
 
-lemma pt_adder_group_bin_0000_object_slots: 
+lemma pt_adder_group_bin_0000_object_slots:
   "object_slots pt_adder_group_bin_0000 = pt_adder_group_bin_0000_caps"
   by (simp add: pt_adder_group_bin_0000_def object_slots_def)
 
@@ -754,7 +754,7 @@ definition pt_adder_group_bin_0003_caps :: "cdl_cap_map" where
 definition pt_adder_group_bin_0003 :: "cdl_object" where
 "pt_adder_group_bin_0003 \<equiv> Types_D.PageTable \<lparr> cdl_page_table_caps = pt_adder_group_bin_0003_caps \<rparr>"
 
-lemma pt_adder_group_bin_0003_object_slots: 
+lemma pt_adder_group_bin_0003_object_slots:
   "object_slots pt_adder_group_bin_0003 = pt_adder_group_bin_0003_caps"
   by (simp add: pt_adder_group_bin_0003_def object_slots_def)
 
@@ -778,7 +778,7 @@ definition pt_client_group_bin_0000_caps :: "cdl_cap_map" where
 definition pt_client_group_bin_0000 :: "cdl_object" where
 "pt_client_group_bin_0000 \<equiv> Types_D.PageTable \<lparr> cdl_page_table_caps = pt_client_group_bin_0000_caps \<rparr>"
 
-lemma pt_client_group_bin_0000_object_slots: 
+lemma pt_client_group_bin_0000_object_slots:
   "object_slots pt_client_group_bin_0000 = pt_client_group_bin_0000_caps"
   by (simp add: pt_client_group_bin_0000_def object_slots_def)
 
@@ -802,7 +802,7 @@ definition pt_client_group_bin_0003_caps :: "cdl_cap_map" where
 definition pt_client_group_bin_0003 :: "cdl_object" where
 "pt_client_group_bin_0003 \<equiv> Types_D.PageTable \<lparr> cdl_page_table_caps = pt_client_group_bin_0003_caps \<rparr>"
 
-lemma pt_client_group_bin_0003_object_slots: 
+lemma pt_client_group_bin_0003_object_slots:
   "object_slots pt_client_group_bin_0003 = pt_client_group_bin_0003_caps"
   by (simp add: pt_client_group_bin_0003_def object_slots_def)
 
@@ -822,7 +822,7 @@ definition adder_cnode :: "cdl_object" where
 "adder_cnode \<equiv> Types_D.CNode \<lparr> cdl_cnode_caps = adder_cnode_caps,
                                              cdl_cnode_size_bits = 4 \<rparr>"
 
-lemma adder_cnode_object_slots: 
+lemma adder_cnode_object_slots:
   "object_slots adder_cnode = adder_cnode_caps"
   by (simp add: adder_cnode_def object_slots_def)
 
@@ -840,7 +840,7 @@ definition client_cnode :: "cdl_object" where
 "client_cnode \<equiv> Types_D.CNode \<lparr> cdl_cnode_caps = client_cnode_caps,
                                               cdl_cnode_size_bits = 4 \<rparr>"
 
-lemma client_cnode_object_slots: 
+lemma client_cnode_object_slots:
   "object_slots client_cnode = client_cnode_caps"
   by (simp add: client_cnode_def object_slots_def)
 
@@ -881,7 +881,7 @@ definition p_ep :: "cdl_object" where
 
 
 
-lemmas ids = 
+lemmas ids =
 adder_adder_0_control_tcb_id_def
 adder_adder_0_fault_handler_tcb_id_def
 adder_adder_a_0000_tcb_id_def
@@ -990,7 +990,7 @@ stack__camkes_stack_client_0_fault_handler_1_client_obj_id_def
 stack__camkes_stack_client_0_fault_handler_2_client_obj_id_def
 stack__camkes_stack_client_0_fault_handler_3_client_obj_id_def
 
-lemmas cap_defs = 
+lemmas cap_defs =
 adder_group_bin_pd_caps_def
 client_group_bin_pd_caps_def
 adder_adder_0_control_tcb_caps_def
@@ -1005,7 +1005,7 @@ pt_client_group_bin_0003_caps_def
 adder_cnode_caps_def
 client_cnode_caps_def
 
-lemmas obj_defs = 
+lemmas obj_defs =
 adder_frame__camkes_ipc_buffer_adder_0_control_def
 adder_group_bin_pd_def
 client_group_bin_pd_def
@@ -1210,4 +1210,4 @@ definition state :: "cdl_state" where
                          cdl_asid_table = asid_table,
                          cdl_current_domain = undefined \<rparr>"
 
-end
+end
diff --git a/capDL-tool/example-arm.right b/capDL-tool/example-arm.right
@@ -101,4 +101,4 @@ objects {
 
   0: irq_handler[0..2]
 
-}
+}
diff --git a/capDL-tool/hello-dump.right b/capDL-tool/hello-dump.right
@@ -191,4 +191,4 @@ objects {
 
 } irq maps {
 
-}
+}
Original file line number	Diff line number	Diff line change
Expand Up		@@ -101,4 +101,4 @@ objects {

		0: irq_handler[0..2]

		}
		}