/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 |
/** @} |
*/ |