Searched refs:pte_start (Results 1 – 3 of 3) sorted by relevance
123 unsigned int pte_start; in ct_vm_map() local136 pte_start = (block->addr >> CT_PAGE_SHIFT); in ct_vm_map()141 ptp[pte_start + i] = addr; in ct_vm_map()
413 u64 *pte, *pte_start; in virt_arch_dump() local 460 pte_start = addr_gpa2hva(vm, *pde & PHYSICAL_PAGE_MASK); in virt_arch_dump() 462 pte = &pte_start[n4]; in virt_arch_dump() 469 pte - pte_start, pte, in virt_arch_dump()
1478 static void __meminit free_pte_table(pte_t *pte_start, pmd_t *pmd) in execmem_arch_setup() 1486 pte = pte_start + i; in execmem_arch_setup() 1491 free_pte_table(pte_t * pte_start,pmd_t * pmd) free_pte_table() argument