Symbol: ASID_TO_OPERAND
sys/arm64/arm64/efirt_machdep.c
183
efi_ttbr0 = ASID_TO_OPERAND(ASID_RESERVED_FOR_EFI) |
sys/arm64/arm64/pmap.c
1930
r |= ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie));
sys/arm64/arm64/pmap.c
1978
start = end = ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie));
sys/arm64/arm64/pmap.c
2050
r = ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie));
sys/arm64/arm64/pmap.c
9103
ttbr |= ASID_TO_OPERAND(COOKIE_TO_ASID(pmap->pm_cookie));