kernel | x86.h: use more specific address types for rdr{i,s}p(), as p…

…er review Signed-off-by: Kosyrev Serge <[email protected]>
BarrelfishOS · Jan 12, 2017 · 5040d46 · 5040d46
1 parent ba95644
commit 5040d46
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/kernel/include/arch/x86/x86.h b/kernel/include/arch/x86/x86.h
@@ -62,14 +62,14 @@
 
 #ifndef __ASSEMBLER__
 
-static inline uint64_t __attribute__((always_inline)) rdrip(void)
+static inline lvaddr_t __attribute__((always_inline)) rdrip(void)
 {
     uint64_t rip;
     __asm__ ("leaq 0(%%rip), %0\n\t" : "=g" (rip) : /* no input */ : /* no clobber */ );
     return rip;
 }
 
-static inline uint64_t __attribute__((always_inline)) rdrsp(void)
+static inline lvaddr_t __attribute__((always_inline)) rdrsp(void)
 {
     uint64_t rsp;
     __asm__ ("mov %%rsp, %0\n\t"     : "=g" (rsp) : /* no input */ : /* no clobber */ );