OpenCloudOS-Kernel/arch/avr32/include/asm/ipcbuf.h