Searched defs:pml4e_id (Results 1 – 1 of 1) sorted by relevance
87 uint64_t pml4e_id = ((virt_addr_start >> PAGE_GDT_SHIFT) & 0x1ff); in mm_map_proc_page_table() local212 uint64_t pml4e_id = ((virt_addr_start >> PAGE_GDT_SHIFT) & 0x1ff); in mm_unmap_proc_table() local