You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
27 lines
625 B
27 lines
625 B
/*
|
|
* include/asm-generic/okl4_virq.h
|
|
*
|
|
* Copyright (c) 2017 General Dynamics
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License version 2 as
|
|
* published by the Free Software Foundation.
|
|
*/
|
|
|
|
#ifndef __OKL4_VIRQ_H__
|
|
#define __OKL4_VIRQ_H__
|
|
|
|
#include <linux/irq.h>
|
|
#include <microvisor/microvisor.h>
|
|
|
|
static inline okl4_virq_flags_t okl4_get_virq_payload(unsigned int irq)
|
|
{
|
|
struct irq_data *irqd = irq_get_irq_data(irq);
|
|
|
|
if (WARN_ON_ONCE(!irqd))
|
|
return 0;
|
|
|
|
return _okl4_sys_interrupt_get_payload(irqd_to_hwirq(irqd)).payload;
|
|
}
|
|
|
|
#endif
|
|
|