Searched refs:gen8_ppgtt_pml4e_t (Results 1 – 2 of 2) sorted by relevance
43 typedef uint64_t gen8_ppgtt_pml4e_t; typedef
617 gen8_ppgtt_pml4e_t scratch_pml4e; in gen8_initialize_pml4()647 gen8_ppgtt_pml4e_t *pagemap = kmap_px(pml4); in gen8_setup_page_directory_pointer()