kata-os-model: portability fix

Change-Id: Ib89769b0471480cec6acf9e181076860fc875d8c GitOrigin-RevId: 8fcffbe853b6d615fb9593a0d9163da25d8b07ce
mgielda · Aug 10, 2022 · e6d36db · e6d36db
1 parent 0bcd6a4
commit e6d36db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/apps/system/components/kata-os-common/src/copyregion/src/lib.rs b/apps/system/components/kata-os-common/src/copyregion/src/lib.rs
@@ -116,7 +116,7 @@ impl CopyRegion {
     pub fn unmap(&mut self) -> seL4_Result {
         if let Some(cptr) = self.cur_frame {
             #[cfg(any(target_arch = "arm", target_arch = "aarch64"))]
-            unsafe { seL4_ARM_Page_Unify_Instruction(cptr, 0, self.size()) }?;
+            unsafe { sel4_sys::seL4_ARM_Page_Unify_Instruction(cptr, 0, self.size()) }?;
 
             unsafe { seL4_Page_Unmap(cptr) }?;
             self.cur_frame = None;