Go to most recent revision | Details | Last modification | View Log | RSS feed
/** @addtogroup ia32
* @{
*/
/** @file
#ifndef KERN_ia32_TDEBUG_H_
#define KERN_ia32_TDEBUG_H_
extern int tdebug_iafter_update(struct thread *t);
#endif
/** @}