1 /* SPDX-License-Identifier: GPL-2.0
3 * Copyright (c) 2006 Andriy Skulysh <askulsyh@gmail.com>
6 #include <linux/linkage.h>
7 #include <cpu/mmu_context.h>
10 * Kernel mode register usage:
13 * For more details, please have a look at entry.S
34 4: .long handle_interrupt