/trunk/kernel/arch/xen32/src/proc/task.c |
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
/** @addtogroup ia32proc |
/** @addtogroup xen32proc |
* @{ |
*/ |
/** @file |
59,4 → 59,3 |
|
/** @} |
*/ |
|
/trunk/kernel/arch/xen32/src/proc/thread.c |
26,7 → 26,7 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
/** @addtogroup ia32proc |
/** @addtogroup xen32proc |
* @{ |
*/ |
/** @file |
34,7 → 34,7 |
|
#include <proc/thread.h> |
|
/** Perform ia32 specific thread initialization. |
/** Perform xen32 specific thread initialization. |
* |
* @param t Thread to be initialized. |
*/ |
45,4 → 45,3 |
|
/** @} |
*/ |
|