diff options
| -rw-r--r-- | pfinet/asm/system.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pfinet/asm/system.h b/pfinet/asm/system.h index 28303f9e..4dfc74e7 100644 --- a/pfinet/asm/system.h +++ b/pfinet/asm/system.h @@ -2,6 +2,7 @@ #define _HACK_ASM_SYSTEM_H_ #include <cthreads.h> +#include <sys/types.h> /* This lock is held when "interrupts" are disabled. */ extern struct mutex global_interrupt_lock; |