Searched refs:KERNEL_ARCH_ARM_IRQ_H (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/arch/armv7/
H A Dirq.h10 #ifndef KERNEL_ARCH_ARM_IRQ_H
11 #define KERNEL_ARCH_ARM_IRQ_H macro
32 #endif // KERNEL_ARCH_ARM_IRQ_H
/barrelfish-master/kernel/include/arch/armv8/
H A Dirq.h10 #ifndef KERNEL_ARCH_ARM_IRQ_H
11 #define KERNEL_ARCH_ARM_IRQ_H macro
34 #endif // KERNEL_ARCH_ARM_IRQ_H

Completed in 86 milliseconds