/*********************************************************************
 *                
 * Copyright (C) 2007,  Karlsruhe University
 *                
 * File path:     glue/v4-x86/ktcb.h
 * Description:   
 *                
 * @LICENSE@
 *                
 * $Id:$
 *                
 ********************************************************************/
#ifndef __GLUE__V4_X86__KTCB_H__
#define __GLUE__V4_X86__KTCB_H__

#include INC_GLUE_SA(ktcb.h)

#endif /* !__GLUE__V4_X86__KTCB_H__ */