Searched refs:aml_setup_page_tables (Results 1 – 9 of 9) 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
98 aml_setup_page_tables(); in bl31_plat_arch_setup()
99 aml_setup_page_tables(); in bl31_plat_arch_setup()
95 void aml_setup_page_tables(void) in aml_setup_page_tables() function