Fiasco: utcb_init_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef utcb_init_i_h
00004 #define utcb_init_i_h
00005 
00006 //
00007 // IMPLEMENTATION of inline functions follows
00008 //
00009 
00010 
00011 
00012 
00013 inline void
00014 Utcb_init::init_lipc_kip()
00015 {}
00016 
00017 #endif // utcb_init_i_h