diff --git a/Kernel/arch/x86/lib.c b/Kernel/arch/x86/lib.c
index 0ca98f9efc9c0e580751344884e87dfd834748aa..f3f190d45e263cc06135b89db9d86cf126b94cbb 100644
--- a/Kernel/arch/x86/lib.c
+++ b/Kernel/arch/x86/lib.c
@@ -328,3 +328,7 @@ EXPORT(__udivdi3);	EXPORT(__umoddi3);
 
 EXPORT(LittleEndian16);	EXPORT(BigEndian16);
 EXPORT(LittleEndian32);	EXPORT(BigEndian32);
+
+EXPORT(SHORTLOCK);
+EXPORT(SHORTREL);
+EXPORT(IS_LOCKED);