text: /*
   * Copyright (c) 2022, Timon Kruiper <timonkruiper@gmail.com>
   *
   * SPDX-License-Identifier: BSD-2-Clause
   */
  
  #pragma once
  
  #include <AK/Platform.h>
  
  #if ARCH(X86_64) || ARCH(I386)
  #    include <Kernel/Arch/x86/InterruptManagement.h>
  #elif ARCH(AARCH64)
  #    include <Kernel/Arch/aarch64/InterruptManagement.h>
  #else
  #    error "Unknown architecture"
  #endif
  