Go to the documentation of this file.
20 #ifndef __ASM_PROCFNS_H
21 #define __ASM_PROCFNS_H
30 extern void cpu_cache_off(
void);
35 #include <asm/memory.h>
37 #define cpu_switch_mm(pgd,mm) cpu_do_switch_mm(virt_to_phys(pgd),mm)
39 #define cpu_get_pgd() \
42 asm("mrs %0, ttbr0_el1\n" \
44 pg &= ~0xffff000000003ffful; \
45 (pgd_t *)phys_to_virt(pg); \