blob: 943ba5ca6d2c410d4013b07ac6ec9f27bdc5f6db [file] [log] [blame] [edit]
#include <arch/irqflags.h>