Searched refs:aml_setup_page_tables (Results 1 – 18 of 18) sorted by relevance
16 void aml_setup_page_tables(void);
85 void aml_setup_page_tables(void) in aml_setup_page_tables() function
109 aml_setup_page_tables(); in bl31_plat_arch_setup()
80 void aml_setup_page_tables(void) in aml_setup_page_tables() function
99 aml_setup_page_tables(); in bl31_plat_arch_setup()
98 aml_setup_page_tables(); in bl31_plat_arch_setup()
95 void aml_setup_page_tables(void) in aml_setup_page_tables() function