Symbol: SMMU_CB_TTBR_ASID_SHIFT
sys/arch/arm64/dev/smmu.c
798
(uint64_t)dom->sd_cb_idx << SMMU_CB_TTBR_ASID_SHIFT | pa);
sys/arch/arm64/dev/smmu.c
800
(uint64_t)dom->sd_cb_idx << SMMU_CB_TTBR_ASID_SHIFT);