2007-09-21 15:51:53 +00:00
|
|
|
/***************************************************************************
|
|
|
|
|
* __________ __ ___.
|
|
|
|
|
* Open \______ \ ____ ____ | | _\_ |__ _______ ___
|
|
|
|
|
* Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
|
|
|
|
|
* Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
|
|
|
|
|
* Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
|
|
|
|
|
* \/ \/ \/ \/ \/
|
|
|
|
|
* $Id$
|
|
|
|
|
*
|
|
|
|
|
* Copyright (C) 2006,2007 by Greg White
|
|
|
|
|
*
|
2008-06-28 18:10:04 +00:00
|
|
|
* This program is free software; you can redistribute it and/or
|
|
|
|
|
* modify it under the terms of the GNU General Public License
|
|
|
|
|
* as published by the Free Software Foundation; either version 2
|
|
|
|
|
* of the License, or (at your option) any later version.
|
2007-09-21 15:51:53 +00:00
|
|
|
*
|
|
|
|
|
* This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
|
|
|
|
|
* KIND, either express or implied.
|
|
|
|
|
*
|
|
|
|
|
****************************************************************************/
|
2008-05-16 18:40:28 +00:00
|
|
|
#ifndef MMU_IMX31_H
|
|
|
|
|
#define MMU_IMX31_H
|
2007-09-21 15:51:53 +00:00
|
|
|
|
|
|
|
|
void memory_init(void);
|
2007-12-23 03:47:28 +00:00
|
|
|
void set_page_tables(void);
|
2009-02-08 22:32:41 +00:00
|
|
|
unsigned long addr_virt_to_phys(unsigned long addr);
|
|
|
|
|
unsigned long addr_phys_to_virt(unsigned long addr);
|
2008-05-16 18:40:28 +00:00
|
|
|
|
|
|
|
|
#endif /* MMU_IMX31_H */
|
