1 /*
2  * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3  *
4  * SPDX-License-Identifier: GPL-2.0-only
5  */
6 
7 #include <machine/registerset.h>
8 
9 const register_t fault_messages[][MAX_MSG_SIZE] = {
10     [MessageID_Syscall] = SYSCALL_MESSAGE,
11     [MessageID_Exception] = EXCEPTION_MESSAGE,
12 #ifdef CONFIG_KERNEL_MCS
13     [MessageID_TimeoutReply] = TIMEOUT_REPLY_MESSAGE,
14 #endif
15 };
16