1<#
2//
3// Copyright (c) 2010-2024 Antmicro
4//
5// This file is licensed under the MIT License.
6// Full license text is available in 'licenses/MIT.txt'.
7//
8#>
9<#@ template language="C#" #>
10<#@ include file="../Common/RegisterTemplateDefinitions.tt" #>
11<#
12    CLASS_NAME = "X86_64";
13    HEADER_FILE = "Emulator/Cores/tlib/arch/i386/cpu_registers.h";
14
15    DEFINES.Add("TARGET_X86_64");
16
17    PC_REGISTER = "RIP";
18
19    GENERAL_REGISTERS.AddRange(new[] { "RAX", "RBX", "RCX", "RDX", "RSI", "RDI", "RBP", "RSP",
20    "R8", "R9", "R10", "R11", "R12", "R13", "R14", "R15", "RIP", "EFLAGS",
21    "CS", "SS", "DS", "ES", "FS", "GS", "ST0", "ST1", "ST2", "ST3", "ST4", "ST5", "ST6", "ST7" });
22#>
23<#@ include file="../Common/RegisterTemplate.tt" #>
24