diff --git a/import/OpenXDK/include/xboxkrnl/hal.h b/import/OpenXDK/include/xboxkrnl/hal.h
index 74a0e7ebb..6f733e8ed 100644
--- a/import/OpenXDK/include/xboxkrnl/hal.h
+++ b/import/OpenXDK/include/xboxkrnl/hal.h
@@ -12,7 +12,15 @@
 #ifndef XBOXKRNL_HAL_H
 #define XBOXKRNL_HAL_H
 
-XBSYSAPI VOID *HalReadSMCTrayState;
+// ******************************************************************
+// * HalReadSMCTrayState
+// ******************************************************************
+XBSYSAPI EXPORTNUM(9) VOID NTAPI HalReadSMCTrayState
+(
+	DWORD*	State,
+	DWORD*	Count
+);
+
 XBSYSAPI VOID *HalClearSoftwareInterrupt;
 XBSYSAPI VOID *HalDisableSystemInterrupt;
 XBSYSAPI VOID *HalDiskCachePartitionCount;
diff --git a/import/OpenXDK/include/xboxkrnl/io.h b/import/OpenXDK/include/xboxkrnl/io.h
index f9a6b7192..1ddacbdb9 100644
--- a/import/OpenXDK/include/xboxkrnl/io.h
+++ b/import/OpenXDK/include/xboxkrnl/io.h
@@ -75,7 +75,15 @@ XBSYSAPI VOID *IoSynchronousFsdRequest;
 XBSYSAPI VOID *IofCallDriver;
 XBSYSAPI VOID *IofCompleteRequest;
 XBSYSAPI VOID *IoDismountVolume;
-XBSYSAPI VOID *IoDismountVolumeByName;
+
+// ******************************************************************
+// * IoDismountVolumeByName
+// ******************************************************************
+XBSYSAPI EXPORTNUM(91) NTSTATUS NTAPI IoDismountVolumeByName
+(
+	IN PSTRING VolumeName
+);
+
 XBSYSAPI VOID *IoMarkIrpMustComplete;
 
 #endif
diff --git a/import/OpenXDK/include/xboxkrnl/kernel.h b/import/OpenXDK/include/xboxkrnl/kernel.h
index 5b89c21d6..2d25f0c67 100644
--- a/import/OpenXDK/include/xboxkrnl/kernel.h
+++ b/import/OpenXDK/include/xboxkrnl/kernel.h
@@ -15,7 +15,15 @@
 XBSYSAPI VOID *KeAlertResumeThread;
 XBSYSAPI VOID *KeAlertThread;
 XBSYSAPI VOID *KeBoostPriorityThread;
-XBSYSAPI VOID *KeBugCheck;
+
+// ******************************************************************
+// * KeBugCheck
+// ******************************************************************
+XBSYSAPI EXPORTNUM(95) VOID NTAPI KeBugCheck
+(
+	IN ULONG BugCheckMode
+);
+
 XBSYSAPI VOID *KeBugCheckEx;
 XBSYSAPI VOID *KeCancelTimer;
 XBSYSAPI VOID *KeConnectInterrupt;
@@ -98,7 +106,11 @@ XBSYSAPI EXPORTNUM(128) VOID NTAPI KeQuerySystemTime
     PLARGE_INTEGER CurrentTime
 );
 
-XBSYSAPI VOID *KeRaiseIrqlToDpcLevel;
+// ******************************************************************
+// * KeRaiseIrqlToDpcLevel
+// ******************************************************************
+XBSYSAPI EXPORTNUM(129) UCHAR NTAPI KeRaiseIrqlToDpcLevel();
+
 XBSYSAPI VOID *KeRaiseIrqlToSynchLevel;
 XBSYSAPI VOID *KeReleaseMutant;
 XBSYSAPI VOID *KeReleaseSemaphore;