1 // SPDX-License-Identifier: GPL-2.0+
3 * (C) Copyright 2007 Michal Simek
4 * (C) Copyright 2004 Atmark Techno, Inc.
14 void enable_interrupts(void)
16 debug("Enable interrupts for the whole CPU\n");
20 int disable_interrupts(void)
26 return (msr & 0x2) != 0;
29 int interrupt_init(void)
34 void interrupt_handler(void)
36 panic("Interrupt occurred\n");