Commit 18301cc0 authored by Jack Lange's avatar Jack Lange

add missing linux header file

parent d0bee6de
......@@ -73,6 +73,9 @@ petos_send_ipi(uint32_t target_cpu,
#else /* __KERNEL__ */
#include <linux/irqreturn.h>
/* These are the core IRQ management interfaces that are exported to the rest
* of the Hobbes kernel modules */
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment