#ifndef async_wake_h
#define async_wake_h
#include <stdio.h>
#ifdef __cplusplus
extern "C"
#endif
kern_return_t async_wake(mach_port_t* tfp0);
#endif /* async_wake_h */