143 static u64 *create_table(void)  in create_table()  argument
335 __weak u64 get_page_table_size(void)  in get_page_table_size()  argument
364 void setup_pgtables(void)  in setup_pgtables()  argument
383 static void setup_all_pgtables(void)  in setup_all_pgtables()  argument
405 __weak void mmu_setup(void)  in mmu_setup()  argument
424 void invalidate_dcache_all(void)  in invalidate_dcache_all()  argument
435 inline void flush_dcache_all(void)  in flush_dcache_all()  argument
463 void dcache_enable(void)  in dcache_enable()  argument
475 void dcache_disable(void)  in dcache_disable()  argument
491 int dcache_status(void)  in dcache_status()  argument
496 u64 *__weak arch_get_page_table(void) {  in arch_get_page_table()  argument
652 u64 get_page_table_size(void)  in get_page_table_size()  argument
661 void invalidate_dcache_all(void)  in invalidate_dcache_all()  argument
665 void flush_dcache_all(void)  in flush_dcache_all()  argument
669 void dcache_enable(void)  in dcache_enable()  argument
673 void dcache_disable(void)  in dcache_disable()  argument
677 int dcache_status(void)  in dcache_status()  argument
691 void icache_enable(void)  in icache_enable()  argument
697 void icache_disable(void)  in icache_disable()  argument
702 int icache_status(void)  in icache_status()  argument
707 void invalidate_icache_all(void)  in invalidate_icache_all()  argument
715 void icache_enable(void)  in icache_enable()  argument
719 void icache_disable(void)  in icache_disable()  argument
723 int icache_status(void)  in icache_status()  argument
728 void invalidate_icache_all(void)  in invalidate_icache_all()  argument
738 void __weak enable_caches(void)  in enable_caches()  argument