diff --git a/src/bootinfo/memory_map.rs b/src/bootinfo/memory_map.rs
index bd9eb7fb..73f6d0a7 100644
--- a/src/bootinfo/memory_map.rs
+++ b/src/bootinfo/memory_map.rs
@@ -232,5 +232,5 @@ impl From<E820MemoryRegion> for MemoryRegion {
 }
 
 extern "C" {
-    fn _improper_ctypes_check(_boot_info: MemoryMap);
+    fn _improper_ctypes_check_memory_map(_memory_map: MemoryMap);
 }
diff --git a/src/bootinfo/mod.rs b/src/bootinfo/mod.rs
index b1c2b171..beccac07 100644
--- a/src/bootinfo/mod.rs
+++ b/src/bootinfo/mod.rs
@@ -116,5 +116,5 @@ pub struct TlsTemplate {
 }
 
 extern "C" {
-    fn _improper_ctypes_check(_boot_info: BootInfo);
+    fn _improper_ctypes_check_bootinfo(_boot_info: BootInfo);
 }