Skip to content

Commit 2c28574

Browse files
committed
fixup! [host/driver/whp] fixed WHP support without init-paging feature
Signed-off-by: danbugs <danilochiarlone@gmail.com>
1 parent fe110fb commit 2c28574

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/hyperlight_host/src/hypervisor/hyperv_windows.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ use windows::Win32::System::Hypervisor::{
2929
};
3030
#[cfg(feature = "init-paging")]
3131
use windows::Win32::System::Hypervisor::{
32-
WHvX64RegisterCr0, WHvX64RegisterCr2, WHvX64RegisterCr3, WHvX64RegisterCr4, WHvX64RegisterEfer,
32+
WHvX64RegisterCr0, WHvX64RegisterCr3, WHvX64RegisterCr4, WHvX64RegisterEfer,
3333
};
3434
#[cfg(crashdump)]
3535
use {super::crashdump, std::path::Path};

0 commit comments

Comments
 (0)