use OS_PAGE_SIZE from upstream

jprendes · jprendes · commit a9d377a3bf47 · 2025-06-12T22:13:26.000+01:00
Signed-off-by: Jorge Prendes &lt;jorge.prendes@gmail.com&gt;
diff --git a/src/wasm_runtime/src/platform.rs b/src/wasm_runtime/src/platform.rs
@@ -58,8 +58,7 @@ pub extern "C" fn wasmtime_mprotect(_ptr: *mut u8, _size: usize, prot_flags: u32
 
 #[no_mangle]
 pub extern "C" fn wasmtime_page_size() -> usize {
-    todo!("fixme: missing hyperlight_guest_bin::OS_PAGE_SIZE")
-    //unsafe { hyperlight_guest_bin::OS_PAGE_SIZE as usize }
+    unsafe { hyperlight_guest_bin::OS_PAGE_SIZE as usize }
 }
 
 #[allow(non_camel_case_types)] // we didn't choose the name!

Original file line number	Diff line number	Diff line change
`@@ -58,8 +58,7 @@ pub extern "C" fn wasmtime_mprotect(_ptr: *mut u8, _size: usize, prot_flags: u32`
`58`	`58`
`59`	`59`	`#[no_mangle]`
`60`	`60`	`pub extern "C" fn wasmtime_page_size() -> usize {`
`61`		`- todo!("fixme: missing hyperlight_guest_bin::OS_PAGE_SIZE")`
`62`		`- //unsafe { hyperlight_guest_bin::OS_PAGE_SIZE as usize }`
	`61`	`+ unsafe { hyperlight_guest_bin::OS_PAGE_SIZE as usize }`
`63`	`62`	`}`
`64`	`63`
`65`	`64`	`#[allow(non_camel_case_types)] // we didn't choose the name!`