We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent add9621 commit e0bf4e1Copy full SHA for e0bf4e1
src/hyperlight_host/src/sandbox/initialized_multi_use.rs
@@ -136,6 +136,7 @@ impl MultiUseSandbox {
136
/// `rgn.region_type` is ignored, since guest PTEs are not created
137
/// for the new memory.
138
///
139
+ /// # Safety
140
/// It is the caller's responsibility to ensure that the host side
141
/// of the region remains intact and is not written to until this
142
/// mapping is removed, either due to the destruction of the
0 commit comments