From e5be376f579661af8eebb214535e4a613b077929 Mon Sep 17 00:00:00 2001 From: Reto Buerki Date: Fri, 27 Feb 2015 13:58:52 +0100 Subject: [PATCH] hw_x86_64: Declare Thread_reg_id enum for x86_64 Only define IDs of registers which are actually accessed by threads. --- .../include/x86_64/kernel/interface_support.h | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/repos/base-hw/include/x86_64/kernel/interface_support.h b/repos/base-hw/include/x86_64/kernel/interface_support.h index 1c56c41d1..7a05792fa 100644 --- a/repos/base-hw/include/x86_64/kernel/interface_support.h +++ b/repos/base-hw/include/x86_64/kernel/interface_support.h @@ -28,12 +28,12 @@ namespace Kernel struct Thread_reg_id { enum { - SP = 13, /* XXX numbers are arbitrary, taken from ARM version */ - IP = 15, - FAULT_TLB = 18, - FAULT_ADDR = 19, - FAULT_WRITES = 20, - FAULT_SIGNAL = 21, + IP = 0, + SP = 1, + FAULT_TLB = 2, + FAULT_ADDR = 3, + FAULT_WRITES = 4, + FAULT_SIGNAL = 5, }; };