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