formatting

wojciechozga · wojciechozga · commit ac0666839879 · 2025-04-09T09:50:04.000-05:00
Signed-off-by: Wojciech Ozga &lt;woz@zurich.ibm.com&gt;
diff --git a/security-monitor/src/confidential_flow/finite_state_machine.rs b/security-monitor/src/confidential_flow/finite_state_machine.rs
@@ -223,7 +223,8 @@ impl<'a> ConfidentialFlow<'a> {
         }
 
         // For the time-being, we rely on the OpenSBI's implementation of broadcasting IPIs to hardware harts.
-        self.hardware_hart.opensbi_context(|| confidential_vm.broadcast_remote_command(sender_confidential_hart_id, confidential_hart_remote_command))
+        self.hardware_hart
+            .opensbi_context(|| confidential_vm.broadcast_remote_command(sender_confidential_hart_id, confidential_hart_remote_command))
     }
 
     /// Processes pending requests from other confidential harts by applying the corresponding state transformation to

Original file line number	Diff line number	Diff line change
`@@ -223,7 +223,8 @@ impl<'a> ConfidentialFlow<'a> {`
`223`	`223`	`}`
`224`	`224`
`225`	`225`	`// For the time-being, we rely on the OpenSBI's implementation of broadcasting IPIs to hardware harts.`
`226`		`- self.hardware_hart.opensbi_context(\|\| confidential_vm.broadcast_remote_command(sender_confidential_hart_id, confidential_hart_remote_command))`
	`226`	`+ self.hardware_hart`
	`227`	`+ .opensbi_context(\|\| confidential_vm.broadcast_remote_command(sender_confidential_hart_id, confidential_hart_remote_command))`
`227`	`228`	`}`
`228`	`229`
`229`	`230`	`/// Processes pending requests from other confidential harts by applying the corresponding state transformation to`