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 = "ARMv8R";
13    HEADER_FILE = "Emulator/Cores/tlib/arch/arm64/cpu_registers.h";
14
15    GENERAL_REGISTERS.AddRange(new[] { "R0", "R1", "R2", "R3", "R4", "R5", "R6", "R7", "R8", "R9", "R10", "R11", "R12", "R13", "R14", "R15" });
16#>
17<#@ include file="../Common/RegisterTemplate.tt" #>
18