Searched refs:bi_top_page_table (Results 1 – 3 of 3) sorted by relevance
117 uint64_t bi_top_page_table; member
120 top_page_table = bi->bi_top_page_table; in kbm_init()
2678 bi->bi_top_page_table = (uintptr_t)top_page_table - mfn_base; in startup_kernel()2700 bi->bi_top_page_table = (uintptr_t)top_page_table; in startup_kernel()