update

[l4.git] / l4 / pkg / io / server / src / hw_irqs.h

#pragma once

#include "irqs.h"

namespace Hw { namespace Irqs {
Io_irq_pin *real_irq(unsigned irqnum);
}}