Searched refs:setup_5level_page_table (Results 1 – 5 of 5) sorted by relevance
16 void setup_5level_page_table(void);
20 setup_5level_page_table(); in main()
131 .globl setup_5level_page_table symbol132 setup_5level_page_table: label
342 setup_5level_page_table(); in main()
10 void setup_5level_page_table(void);