#ifndef WH_IMPL_H_ee5884f2_
#define WH_IMPL_H_ee5884f2_

/* This file is in the public domain. */

extern void aio__init_polling(void);

#define panic aio__panic
extern void aio__panic(const char *, ...)
	__attribute__((__format__(__printf__,1,2)));

#define dequal(x) (((char *)0)+(((const volatile char *)(x))-((const volatile char *)0)))

#endif