blob: 88fec90995c45c2acef4c92477d0cd0c16181b8b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
/* SPDX-License-Identifier: GPL-2.0 */
/* Marvell GTI Watchdog driver
*
* Copyright (C) 2018 Marvell International Ltd.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License version 2 as
* published by the Free Software Foundation.
*/
#ifndef __GTI_WATCHDOG_H__
#define __GTI_WATCHDOG_H__
#define OCTEONTX_INSTALL_WDOG 0xc2000c01
#define OCTEONTX_REMOVE_WDOG 0xc2000c02
#define OCTEONTX_START_WDOG 0xc2000c03
/* Keep this consistent with arch/arm64/kernel/entry.S */
#define OCTEONTX_RESTORE_WDOG_CTXT 0xc2000c04
DECLARE_PER_CPU(uint64_t, gti_elr);
DECLARE_PER_CPU(uint64_t, gti_spsr);
/* Kernel exception simulation wrapper for the NMI callback */
extern void el0_nmi_callback(void);
extern void el1_nmi_callback(void);
void nmi_kernel_callback(struct pt_regs *regs);
#endif // __GTI_WATCHDOG_H__
|
