1 // SPDX-License-Identifier: GPL-2.0+
3 * Copyright (c) 2011 The Chromium OS Authors.
4 * Use of this source code is governed by a BSD-style license that can be
5 * found in the LICENSE file.
10 int interrupt_init(void)
15 void enable_interrupts(void)
19 int disable_interrupts(void)