Searched defs:pte_id (Results 1 – 1 of 1) sorted by relevance
153 … uint64_t pte_id = (((virt_addr_start + length_mapped) >> PAGE_4K_SHIFT) & 0x1ff); in mm_map_proc_page_table() local266 … uint64_t pte_id = (((virt_addr_start + length_unmapped) >> PAGE_4K_SHIFT) & 0x1ff); in mm_unmap_proc_table() local