Searched defs:page_table_base (Results 1 – 2 of 2) sorted by relevance
836 uint32_t page_table_base) in set_vm_context_page_table_base()
1014 uint32_t page_table_base) in set_vm_context_page_table_base()