- Moved irq_arch.c to irq_arch.h and marked all functions as `__attribute__((always_inline)) static inline`