2012-03-05 18:49:27 +07:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2012 ARM Ltd.
|
|
|
|
*
|
|
|
|
* This program is free software; you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License version 2 as
|
|
|
|
* published by the Free Software Foundation.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU General Public License
|
|
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
#ifndef __ASM_MMU_H
|
|
|
|
#define __ASM_MMU_H
|
|
|
|
|
|
|
|
typedef struct {
|
2015-10-07 00:46:24 +07:00
|
|
|
atomic64_t id;
|
|
|
|
void *vdso;
|
2016-11-02 16:10:45 +07:00
|
|
|
unsigned long flags;
|
2012-03-05 18:49:27 +07:00
|
|
|
} mm_context_t;
|
|
|
|
|
2015-10-07 00:46:24 +07:00
|
|
|
/*
|
|
|
|
* This macro is only used by the TLBI code, which cannot race with an
|
|
|
|
* ASID change and therefore doesn't need to reload the counter using
|
|
|
|
* atomic64_read.
|
|
|
|
*/
|
|
|
|
#define ASID(mm) ((mm)->context.id.counter & 0xffff)
|
2012-03-05 18:49:27 +07:00
|
|
|
|
|
|
|
extern void paging_init(void);
|
2016-04-09 05:50:26 +07:00
|
|
|
extern void bootmem_init(void);
|
2012-10-23 20:55:08 +07:00
|
|
|
extern void __iomem *early_io_map(phys_addr_t phys, unsigned long virt);
|
2014-04-08 05:39:51 +07:00
|
|
|
extern void init_mem_pgprot(void);
|
2014-10-20 20:42:07 +07:00
|
|
|
extern void create_pgd_mapping(struct mm_struct *mm, phys_addr_t phys,
|
|
|
|
unsigned long virt, phys_addr_t size,
|
2016-10-21 18:22:57 +07:00
|
|
|
pgprot_t prot, bool page_mappings_only);
|
2015-06-01 18:40:32 +07:00
|
|
|
extern void *fixmap_remap_fdt(phys_addr_t dt_phys);
|
2012-03-05 18:49:27 +07:00
|
|
|
|
|
|
|
#endif
|