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

/freebsd-11-stable/sys/amd64/amd64/
H A Ddb_interface.c78 pt_entry_t *ptep0 = NULL; local
91 ptep0 = vtopte(addr);
92 oldmap0 = *ptep0;
93 *ptep0 |= PG_RW;
99 if ((*ptep0 & PG_PS) == 0) {
126 if (ptep0) {
127 *ptep0 = oldmap0;
/freebsd-11-stable/sys/i386/i386/
H A Ddb_interface.c78 pt_entry_t *ptep0 = NULL; local
91 ptep0 = pmap_pte(kernel_pmap, addr);
92 oldmap0 = *ptep0;
93 *ptep0 |= PG_RW;
99 if ((*ptep0 & PG_PS) == 0) {
126 if (ptep0) {
127 *ptep0 = oldmap0;

Completed in 73 milliseconds