Searched defs:pdpte_id (Results 1 – 1 of 1) sorted by relevance
110 uint64_t pdpte_id = (((virt_addr_start + length_mapped) >> PAGE_1G_SHIFT) & 0x1ff); in mm_map_proc_page_table() local234 uint64_t pdpte_id = (((virt_addr_start + length_unmapped) >> PAGE_1G_SHIFT) & 0x1ff); in mm_unmap_proc_table() local