Symbol: TTBR_ASID
sys/arch/aarch64/aarch64/aarch64_tlb.c
50
KERNEL_PID :__SHIFTOUT(reg_ttbr0_el1_read(), TTBR_ASID);
sys/arch/aarch64/aarch64/aarch64_tlb.c
58
__SHIFTIN(asid, TTBR_ASID) |
sys/arch/aarch64/include/pmap.h
423
__SHIFTIN(asid, TTBR_ASID) |