Searched refs:src_pte (Results 1 - 3 of 3) sorted by relevance

/freebsd-9.3-release/sys/amd64/amd64/
H A Dpmap.c4075 pt_entry_t *src_pte, *dst_pte;
4136 src_pte = (pt_entry_t *)PHYS_TO_DMAP(srcptepaddr);
4137 src_pte = &src_pte[pmap_pte_index(addr)];
4141 ptetemp = *src_pte;
4181 src_pte++;
4074 pt_entry_t *src_pte, *dst_pte; local
/freebsd-9.3-release/sys/i386/xen/
H A Dpmap.c3249 pt_entry_t *src_pte, *dst_pte;
3282 src_pte = vtopte(addr);
3285 ptetemp = *src_pte;
3303 KASSERT(ptetemp != 0, ("src_pte not set"));
3323 src_pte++;
3248 pt_entry_t *src_pte, *dst_pte; local
/freebsd-9.3-release/sys/i386/i386/
H A Dpmap.c4062 pt_entry_t *src_pte, *dst_pte;
4101 src_pte = vtopte(addr);
4104 ptetemp = *src_pte;
4139 src_pte++;
4061 pt_entry_t *src_pte, *dst_pte; local

Completed in 115 milliseconds