1<#
2//
3// Copyright (c) 2010-2023 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 = "ARMv8A";
13    HEADER_FILE = "Emulator/Cores/tlib/arch/arm64/cpu_registers.h";
14    FALLBACK_SET_REGISTER = "TrySetNonMappedRegister";
15    FALLBACK_GET_REGISTER = "TryGetNonMappedRegister";
16    FALLBACK_REGISTERS = "GetNonMappedRegisters";
17
18    GENERAL_REGISTERS.AddRange(new[] {
19        "X0", "X1", "X2", "X3", "X4", "X5", "X6", "X7", "X8", "X9", "X10",
20        "X11", "X12", "X13", "X14", "X15", "X16", "X17", "X18", "X19", "X20",
21        "X21", "X22", "X23", "X24", "X25", "X26", "X27", "X28", "X29", "X30",
22        "SP", "PC", "PSTATE"
23        });
24#>
25<#@ include file="../Common/RegisterTemplate.tt" #>
26