1 /* Avoiding the DMB (or kernel helper) can be a good thing.  */
2 #define WANT_SPECIALCASE_RELAXED
3 
4 #include_next <host-config.h>
5