/* SPDX-License-Identifier: GPL-3.0-or-later */
/* Copyright 2021 - 2022, Kim Kuparinen < kimi.h.kuparinen@gmail.com > */

#ifndef APOS_RISCV_IRQ_H
#define APOS_RISCV_IRQ_H
/**
 * @file irq.h
 * riscv64 irq header, currently empty but kept around for forwards
 * compatibility.
 */
#endif /* APOS_RISCV_IRQ_H */
