sys/platform/pc64/x86_64/pmap.c

1192

kernel_pmap->pm_placemarks[i] = PM_NOPLACEMARK;

sys/platform/pc64/x86_64/pmap.c

2310

pmap->pm_placemarks[i] = PM_NOPLACEMARK;

sys/platform/pc64/x86_64/pmap.c

2344

pmap->pm_placemarks[i] = PM_NOPLACEMARK;

sys/platform/pc64/x86_64/pmap.c

3770

if ((pmarkp && *pmark != PM_NOPLACEMARK) ||

sys/platform/pc64/x86_64/pmap.c

3774

if ((pmarkp && *pmark != PM_NOPLACEMARK) ||

sys/platform/pc64/x86_64/pmap.c

3785

PM_NOPLACEMARK) {

sys/platform/pc64/x86_64/pmap.c

3847

atomic_cmpset_long(pmark, PM_NOPLACEMARK, pindex)) {

sys/platform/pc64/x86_64/pmap.c

6667

while (mark != PM_NOPLACEMARK) {

sys/platform/pc64/x86_64/pmap.c

6687

pindex = atomic_swap_long(pmark, PM_NOPLACEMARK);

sys/platform/pc64/x86_64/pmap.c

6688

KKASSERT(pindex != PM_NOPLACEMARK);