Searched refs:bi_top_page_table (Results 1 – 3 of 3) sorted by relevance
105 uint64_t bi_top_page_table; member
122 top_page_table = bi->bi_top_page_table; in kbm_init()
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()