Reto Buerki e5be376f57 hw_x86_64: Declare Thread_reg_id enum for x86_64 ... Only define IDs of registers which are actually accessed by threads.		2015-03-27 11:53:28 +01:00
..
interface_support.h	hw_x86_64: Declare Thread_reg_id enum for x86_64	2015-03-27 11:53:28 +01:00