clocksource: dw_apb_timer_of: Fix support for dts binding "snps,dw-apb-timer"
[linux-drm-fsl-dcu.git] / arch / avr32 / include / uapi / asm / ipcbuf.h
1 #include <asm-generic/ipcbuf.h>