/*
 * jsignal.h
 * Interface for handling signals.
 * 
 * Copyright (c) 2004, 2005
 *	TU Dresden, Operating System Group.  All rights reserved.
 *
 * See the file "license.terms" for information on usage and redistribution
 * of this file.
 *
 * written by Alexander Boettcher <ab764283@os.inf.tu-dresden.de>
 */

#ifndef __l4_jsignal_h
#define __l4_jsignal_h

inline static void unblockAsyncSignals(void){
}
inline static void blockAsyncSignals(void){
}

#endif /* __l4_jsignal_h */
