Make one a full assert

smalis-msft · web-flow · commit b1b82b105b76 · 2025-05-27T14:08:58.000-04:00
diff --git a/openhcl/virt_mshv_vtl/src/processor/mshv/tlb_lock.rs b/openhcl/virt_mshv_vtl/src/processor/mshv/tlb_lock.rs
@@ -79,7 +79,7 @@ impl UhProcessor<'_, HypervisorBacked> {
         if result {
             self.vtls_tlb_locked.set(requesting_vtl, target_vtl, true);
         } else {
-            debug_assert!(!self.vtls_tlb_locked.get(requesting_vtl, target_vtl));
+            assert!(!self.vtls_tlb_locked.get(requesting_vtl, target_vtl));
         }
         result
     }

Original file line number	Diff line number	Diff line change
`@@ -79,7 +79,7 @@ impl UhProcessor<'_, HypervisorBacked> {`
`79`	`79`	`if result {`
`80`	`80`	`self.vtls_tlb_locked.set(requesting_vtl, target_vtl, true);`
`81`	`81`	`} else {`
`82`		`- debug_assert!(!self.vtls_tlb_locked.get(requesting_vtl, target_vtl));`
	`82`	`+ assert!(!self.vtls_tlb_locked.get(requesting_vtl, target_vtl));`
`83`	`83`	`}`
`84`	`84`	`result`
`85`	`85`	`}`