1/* SPDX-License-Identifier: GPL-2.0-or-later */
 2/*
 3 * Copyright (C) 2011 Tobias Klauser <tklauser@distanz.ch>
 4 */
 5
 6#ifndef _ASM_NIOS2_SETUP_H
 7#define _ASM_NIOS2_SETUP_H
 8
 9#include <asm-generic/setup.h>
10
11#ifndef __ASSEMBLY__
12#ifdef __KERNEL__
13
14extern char exception_handler_hook[];
15extern char fast_handler[];
16extern char fast_handler_end[];
17
18extern void pagetable_init(void);
19
20#endif/* __KERNEL__ */
21#endif /* __ASSEMBLY__ */
22
23#endif /* _ASM_NIOS2_SETUP_H */