1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2007 Michal Simek
4 * (C) Copyright 2004 Atmark Techno, Inc.
6 * Michal SIMEK <monstr@monstr.eu>
7 * Yasushi SHOJI <yashi@atmark-techno.com>
13 void enable_interrupts(void)
15 debug("Enable interrupts for the whole CPU\n");
19 int disable_interrupts(void)
25 return (msr & 0x2) != 0;
28 int interrupt_init(void)
33 void interrupt_handler(void)
35 panic("Interrupt occurred\n");