/** @addtogroup generic	
 * @{
 */
/** @file
 */

#ifndef KERN_UDEBUG_IPC_H_
#define KERN_UDEBUG_IPC_H_

#include <ipc/ipc.h>

int udebug_request_preprocess(call_t *call, phone_t *phone);

#endif

/** @}
 */