[AVR32] pcmcia ioaddr_t should be 32 bits on AVR32
[cascardo/linux.git] / include / asm-avr32 / futex.h
1 #ifndef __ASM_AVR32_FUTEX_H
2 #define __ASM_AVR32_FUTEX_H
3
4 #include <asm-generic/futex.h>
5
6 #endif /* __ASM_AVR32_FUTEX_H */