Searched refs:ptep1 (Results 1 - 2 of 2) sorted by relevance

/freebsd-11-stable/sys/amd64/amd64/
H A Ddb_interface.c81 pt_entry_t *ptep1 = NULL; local
102 ptep1 = vtopte(addr1);
103 oldmap1 = *ptep1;
104 *ptep1 |= PG_RW;
109 ptep1 = vtopte(addr1);
110 oldmap1 = *ptep1;
111 *ptep1 |= PG_RW;
129 if (ptep1)
130 *ptep1 = oldmap1;
/freebsd-11-stable/sys/i386/i386/
H A Ddb_interface.c81 pt_entry_t *ptep1 = NULL; local
102 ptep1 = pmap_pte(kernel_pmap, addr1);
103 oldmap1 = *ptep1;
104 *ptep1 |= PG_RW;
109 ptep1 = pmap_pte(kernel_pmap, addr1);
110 oldmap1 = *ptep1;
111 *ptep1 |= PG_RW;
129 if (ptep1)
130 *ptep1 = oldmap1;

Completed in 79 milliseconds