From 8b7252cddeb8b2d4c9cf6c10c8e7f6417362d9fb Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Thu, 9 Feb 2012 18:11:20 +0100
Subject: [PATCH] Fix a typo in GDB monitor

This patch fixes #104.
---
 ports/src/lib/gdbserver_platform/foc_arm_low.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ports/src/lib/gdbserver_platform/foc_arm_low.cc b/ports/src/lib/gdbserver_platform/foc_arm_low.cc
index d3fda3f845..64ea4e2ce3 100644
--- a/ports/src/lib/gdbserver_platform/foc_arm_low.cc
+++ b/ports/src/lib/gdbserver_platform/foc_arm_low.cc
@@ -68,7 +68,7 @@ extern "C" int genode_fetch_register(int regno, unsigned long *reg_content)
 			case R10: PDBG("cannot determine contents of register R10"); return -1;
 			case R11:
 				/* When in a syscall, the user FP is SP+28+8 */
-				*reg_content = thread_state.sp + 20 + 8;
+				*reg_content = thread_state.sp + 28 + 8;
 				PDBG("FP = %8lx", *reg_content);
 				return 0;
 			case R12: PDBG("cannot determine contents of register R12"); return -1;