Searched refs:gen8_pde_t (Results 1 – 2 of 2) sorted by relevance
41 typedef uint64_t gen8_pde_t; typedef
195 static gen8_pde_t gen8_pde_encode(const dma_addr_t addr, in gen8_pde_encode()198 gen8_pde_t pde = _PAGE_PRESENT | _PAGE_RW; in gen8_pde_encode()521 gen8_pde_t scratch_pde; in gen8_initialize_pd()1265 gen8_pde_t *const page_directory = kmap_px(pd); in gen8_alloc_va_range_3lvl()