# HG changeset patch
# User Keir Fraser <keir.fraser@citrix.com>
# Date 1200580761 0
# Node ID e51bf624433aa8439a6f5c6676bb79850a2cd1a8
# Parent  0a88a8fe5e97870302fa7b65d9a0b3a3f6bab3d1
minios: Optimize IA64's get_current()

Let gcc access r13 itself, leading to better code

Signed-off-by: Samuel Thibault <samuel.thibault@citrix.com>

diff -r 0a88a8fe5e97 -r e51bf624433a extras/mini-os/include/ia64/arch_sched.h
--- a/extras/mini-os/include/ia64/arch_sched.h	Thu Jan 17 13:03:22 2008 +0000
+++ b/extras/mini-os/include/ia64/arch_sched.h	Thu Jan 17 14:39:21 2008 +0000
@@ -82,8 +82,7 @@ void arch_switch_threads(struct thread* 
 
 static inline struct thread* get_current(void)
 {
-	struct thread *current;
-	__asm ("mov %0=r13" : "=r" (current));
+	register struct thread *current asm("r13");
 	return current;
 }