/kernel/trunk/arch/ppc32/include/mm/page.h |
---|
26,12 → 26,6 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ppc32mm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __ppc32_PAGE_H__ |
#define __ppc32_PAGE_H__ |
157,7 → 151,3 |
#endif /* KERNEL */ |
#endif |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/mm/as.h |
---|
26,12 → 26,6 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ppc32mm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __ppc32_AS_H__ |
#define __ppc32_AS_H__ |
49,7 → 43,3 |
extern void as_arch_init(void); |
#endif |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/mm/asid.h |
---|
26,12 → 26,6 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ppc32mm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __ppc32_ASID_H__ |
#define __ppc32_ASID_H__ |
43,7 → 37,3 |
#define asid_put(asid) |
#endif |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/mm/frame.h |
---|
26,12 → 26,6 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ppc32mm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __ppc32_FRAME_H__ |
#define __ppc32_FRAME_H__ |
51,7 → 45,3 |
#endif /* KERNEL */ |
#endif |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/mm/tlb.h |
---|
26,18 → 26,8 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ppc32mm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __ppc32_TLB_H__ |
#define __ppc32_TLB_H__ |
#endif |
/** @} |
*/ |
/kernel/trunk/arch/ppc32/include/mm/memory_init.h |
---|
26,12 → 26,6 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ppc32mm |
* @{ |
*/ |
/** @file |
*/ |
#ifndef __ppc32_MEMORY_INIT_H__ |
#define __ppc32_MEMORY_INIT_H__ |
42,7 → 36,3 |
void memory_print_map(void); |
#endif |
/** @} |
*/ |