Searched refs:top_page_table (Results 1 – 5 of 5) sorted by relevance
53 paddr_t top_page_table; variable87 table = top_page_table; in find_pte()
160 extern paddr_t top_page_table;
122 top_page_table = bi->bi_top_page_table; in kbm_init()123 DBG(top_page_table); in kbm_init()
426 table = (char *)(uintptr_t)top_page_table; in dump_tables()1307 top_page_table = (paddr_t)(uintptr_t)xen_info->pt_base; in build_page_tables()1309 top_page_table = (paddr_t)(uintptr_t)mem_alloc(MMU_PAGESIZE); in build_page_tables()1311 DBG((uintptr_t)top_page_table); in build_page_tables()1711 bi->bi_top_page_table = (uintptr_t)top_page_table - mfn_base; in startup_kernel()1720 bi->bi_top_page_table = (uintptr_t)top_page_table; in startup_kernel()
158 movl top_page_table, %eax