ptep1              71 arch/i386/i386/db_memrw.c 	pt_entry_t *ptep1 = 0;
ptep1              84 arch/i386/i386/db_memrw.c 			ptep1 = kvtopte(addr1);
ptep1              85 arch/i386/i386/db_memrw.c 			oldmap1 = *ptep1;
ptep1              86 arch/i386/i386/db_memrw.c 			*(int *)ptep1 |= /* INTEL_PTE_WRITE */ PG_RW;
ptep1              98 arch/i386/i386/db_memrw.c 		if (ptep1)
ptep1              99 arch/i386/i386/db_memrw.c 			*ptep1 = oldmap1;