1/*
2 * Copyright 2017, Data61
3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4 * ABN 41 687 119 230.
5 *
6 * This software may be distributed and modified according to the terms of
7 * the GNU General Public License version 2. Note that NO WARRANTY is provided.
8 * See "LICENSE_GPLv2.txt" for details.
9 *
10 * @TAG(DATA61_GPL)
11 */
12
13#include <arch/machine/registerset.h>
14
15const register_t msgRegisters[] = {
16    X2, X3, X4, X5
17};
18
19const register_t frameRegisters[] = {
20    FaultInstruction, SP_EL0, SPSR_EL1,
21    X0, X1, X2, X3, X4, X5, X6, X7, X8, X16, X17, X18, X29, X30
22};
23
24const register_t gpRegisters[] = {
25    X9, X10, X11, X12, X13, X14, X15,
26    X19, X20, X21, X22, X23, X24, X25, X26, X27, X28
27};
28