COOKIE_TO_ASID - FreeBSD

1930

r |= ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie));

1978

start = end = ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie));

2050

r = ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie));

3134

asid = COOKIE_TO_ASID(pmap->pm_cookie);

9041

asid = COOKIE_TO_ASID(curpmap->pm_cookie);

9103

ttbr |= ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie));