Skip to content

Commit fdffe93

Browse files
committed
Add more debugging
Signed-off-by: Ludvig Liljenberg <[email protected]>
1 parent 39f79d8 commit fdffe93

File tree

1 file changed

+7
-2
lines changed
  • src/hyperlight_host/src/hypervisor

1 file changed

+7
-2
lines changed

src/hyperlight_host/src/hypervisor/whp.rs

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -181,6 +181,7 @@ impl Vm for WhpVm {
181181
println!("whp get_sregs");
182182
let mut whp_sregs_values: [WHV_REGISTER_VALUE; WHP_SREGS_NAMES_LEN] =
183183
unsafe { std::mem::zeroed() };
184+
println!("whp get_sregs2");
184185

185186
unsafe {
186187
WHvGetVirtualProcessorRegisters(
@@ -191,8 +192,9 @@ impl Vm for WhpVm {
191192
whp_sregs_values.as_mut_ptr(),
192193
)?;
193194
}
195+
println!("whp get_sregs3");
194196

195-
WHP_SREGS_NAMES
197+
let res = WHP_SREGS_NAMES
196198
.into_iter()
197199
.zip(whp_sregs_values)
198200
.collect::<Vec<(WHV_REGISTER_NAME, WHV_REGISTER_VALUE)>>()
@@ -203,7 +205,10 @@ impl Vm for WhpVm {
203205
"Failed to convert WHP registers to CommonSpecialRegisters: {:?}",
204206
e
205207
)
206-
})
208+
});
209+
210+
println!("whp get_sregs");
211+
res
207212
}
208213

209214
fn set_sregs(&self, sregs: &CommonSpecialRegisters) -> Result<()> {

0 commit comments

Comments
 (0)