/trunk/kernel/genarch/include/mm/as_ht.h |
---|
43,4 → 43,3 |
/** @} |
*/ |
/trunk/kernel/genarch/include/mm/page_pt.h |
---|
118,4 → 118,3 |
/** @} |
*/ |
/trunk/kernel/genarch/include/mm/as_pt.h |
---|
43,4 → 43,3 |
/** @} |
*/ |
/trunk/kernel/genarch/include/mm/page_ht.h |
---|
29,13 → 29,11 |
/** @addtogroup genarchmm |
* @{ |
*/ |
/** @file |
/** |
* @file |
* @brief This is the generic page hash table interface. |
*/ |
/* |
* This is the generic page hash table interface. |
*/ |
#ifdef CONFIG_PAGE_HT |
#ifndef __PAGE_HT_H__ |
89,4 → 87,3 |
/** @} |
*/ |