#ifndef _L4_STUBS_INIT_H #define _L4_STUBS_INIT_H 1 #include #include #include #endif /* l4/stubs-init.h */