From a455cd5af26bf8731e7c981a9421b16ab34dae6f Mon Sep 17 00:00:00 2001
From: Miguel <m.i@gmx.at>
Date: Mon, 1 Oct 2018 23:22:03 +0200
Subject: fukkin scheduler

---
 asm/asm_x86.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'asm/asm_x86.h')

diff --git a/asm/asm_x86.h b/asm/asm_x86.h
index ec9ebd0..0781fc7 100644
--- a/asm/asm_x86.h
+++ b/asm/asm_x86.h
@@ -100,4 +100,6 @@ static inline void x86_paging_enable()    {x86_set_cr(0,x86_get_cr(0)| 0x8000000
 /** Disable paging */
 static inline void x86_paging_disable()   {x86_set_cr(0,x86_get_cr(0)&~0x80000000);}
 
+/** Read Time Stamp Counter */
+uint64_t x86_rdtscp();
 #endif
-- 
cgit v1.2.3