jcs.org
Serenity Operating System
1/*
2 * Copyright (c) 2022, Timon Kruiper <timonkruiper@gmail.com>
3 *
4 * SPDX-License-Identifier: BSD-2-Clause
5 */
6
7#pragma once
8
9#include <AK/Platform.h>
10
11#if ARCH(X86_64)
12# include <Kernel/Arch/x86_64/IRQController.h>
13#elif ARCH(AARCH64)
14# include <Kernel/Arch/aarch64/IRQController.h>
15#else
16# error "Unknown architecture"
17#endif