Searched defs:page_table (Results 1 – 2 of 2) sorted by relevance
121 void setup_ghcb_pte(pgd_t *page_table) in setup_ghcb_pte()
2755 unsigned long *page_table = current_page_table(); in ept_access_test_setup() local