/kernel/trunk/arch/ppc32/src/mm/frame.c |
---|
26,12 → 26,6 |
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
/** @addtogroup ppc32mm |
* @{ |
*/ |
/** @file |
*/ |
#include <arch/boot/boot.h> |
#include <arch/mm/frame.h> |
#include <arch/mm/memory_init.h> |
66,7 → 60,3 |
frame_mark_unavailable(0, 4); |
} |
/** @} |
*/ |