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