From aed5a5a4461a0560c2cd1d6e05a4794b733aaa6c Mon Sep 17 00:00:00 2001
From: Reiko Asakura
Date: Sun, 5 Jul 2020 16:31:45 -0400
Subject: Add types headers

---
 include/user/kernel/threadmgr.h | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'include/user/kernel/threadmgr.h')

diff --git a/include/user/kernel/threadmgr.h b/include/user/kernel/threadmgr.h
index 9d42eb4..3ff85f6 100644
--- a/include/user/kernel/threadmgr.h
+++ b/include/user/kernel/threadmgr.h
@@ -1,15 +1,12 @@
 #ifndef _PSP2_KERNEL_THREADMGR_H_
 #define _PSP2_KERNEL_THREADMGR_H_
 
-#include <psp2/types.h>
+#include <psp2/kernel/types.h>
 
 #ifdef __cplusplus
 extern "C" {
 #endif
 
-/** 64-bit system clock type. */
-typedef SceUInt64 SceKernelSysClock;
-
 /* Threads. */
 
 /** UID of the current thread */
-- 
cgit v1.2.3