ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-07 20:00:23 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/base-hw/include/x86_64/kernel
History
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