/kernel/trunk/arch/mips32/src/mm/tlb.c |
---|
26,6 → 26,12 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup mips32mm |
* @{ |
*/ |
/** @file |
*/ |
#include <arch/mm/tlb.h> |
#include <mm/asid.h> |
#include <mm/tlb.h> |
602,3 → 608,7 |
interrupts_restore(ipl); |
cp0_entry_hi_write(hi_save.value); |
} |
/** @} |
*/ |
/kernel/trunk/arch/mips32/src/mm/as.c |
---|
26,6 → 26,14 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup mips32mm mips32 |
* @ingroup mm |
* @{ |
*/ |
/** @file |
* @ingroup mips32 |
*/ |
#include <arch/mm/as.h> |
#include <genarch/mm/as_pt.h> |
#include <genarch/mm/asid_fifo.h> |
66,3 → 74,7 |
interrupts_restore(ipl); |
} |
/** @} |
*/ |
/kernel/trunk/arch/mips32/src/mm/frame.c |
---|
26,6 → 26,12 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup mips32mm |
* @{ |
*/ |
/** @file |
*/ |
#include <arch/mm/frame.h> |
#include <mm/frame.h> |
#include <config.h> |
49,3 → 55,7 |
frame_mark_unavailable(0, 1); |
} |
} |
/** @} |
*/ |
/kernel/trunk/arch/mips32/src/mm/page.c |
---|
26,6 → 26,12 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup mips32mm |
* @{ |
*/ |
/** @file |
*/ |
#include <arch/mm/page.h> |
#include <genarch/mm/page_pt.h> |
#include <mm/page.h> |
43,3 → 49,7 |
{ |
return physaddr + 0xa0000000; |
} |
/** @} |
*/ |