// Copyright 2017 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef GARNET_LIB_MACHINA_INTERRUPT_CONTROLLER_H_
#define GARNET_LIB_MACHINA_INTERRUPT_CONTROLLER_H_

#if __x86_64__

#include "garnet/lib/machina/arch/x86/io_apic.h"

namespace machina {
using InterruptController = IoApic;
}  // namespace machina

#elif __aarch64__

#include "garnet/lib/machina/arch/arm64/gic_distributor.h"

namespace machina {
using InterruptController = GicDistributor;
}  // namespace machina

#endif  // __aarch64__

#endif  // GARNET_LIB_MACHINA_INTERRUPT_CONTROLLER_H_