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()
462 table = (char *)(uintptr_t)top_page_table; in dump_tables()1675 top_page_table = (paddr_t)(uintptr_t)xen_info->pt_base; in build_page_tables()1677 top_page_table = (paddr_t)(uintptr_t)mem_alloc(MMU_PAGESIZE); in build_page_tables()1679 DBG((uintptr_t)top_page_table); in build_page_tables()2222 bi->bi_top_page_table = (uintptr_t)top_page_table - mfn_base; in startup_kernel()2244 bi->bi_top_page_table = (uintptr_t)top_page_table; in startup_kernel()
256 movl top_page_table, %eax