Symbol: COOKIE_TO_EPOCH
sys/arm64/arm64/pmap.c
3133
if (COOKIE_TO_EPOCH(pmap->pm_cookie) == set->asid_epoch) {
sys/arm64/arm64/pmap.c
9069
if (COOKIE_TO_EPOCH(pmap->pm_cookie) == set->asid_epoch)
sys/arm64/arm64/pmap.c
9220
epoch = COOKIE_TO_EPOCH(pmap->pm_cookie);