/trunk/kernel/genarch/include/mm/page_pt.h |
40,8 → 40,8 |
|
#ifdef CONFIG_PAGE_PT |
|
#ifndef __PAGE_PT_H__ |
#define __PAGE_PT_H__ |
#ifndef KERN_PAGE_PT_H_ |
#define KERN_PAGE_PT_H_ |
|
#include <arch/types.h> |
#include <typedefs.h> |
/trunk/kernel/genarch/include/mm/asid_fifo.h |
26,19 → 26,18 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
|
/** @addtogroup genarchmm |
/** @addtogroup genarchmm |
* @{ |
*/ |
/** @file |
*/ |
|
#ifndef __ASID_FIFO_H__ |
#define __ASID_FIFO_H__ |
#ifndef KERN_ASID_FIFO_H_ |
#define KERN_ASID_FIFO_H_ |
|
extern void asid_fifo_init(void); |
|
#endif |
|
/** @} |
/** @} |
*/ |
|
/trunk/kernel/genarch/include/mm/page_ht.h |
36,8 → 36,8 |
|
#ifdef CONFIG_PAGE_HT |
|
#ifndef __PAGE_HT_H__ |
#define __PAGE_HT_H__ |
#ifndef KERN_PAGE_HT_H_ |
#define KERN_PAGE_HT_H_ |
|
#include <mm/page.h> |
#include <typedefs.h> |