Symbol: SMMU_CB_TTBR0
sys/arch/arm64/dev/smmu.c
797
smmu_cb_write_8(sc, dom->sd_cb_idx, SMMU_CB_TTBR0,
sys/arch/arm64/dev/smmu.c
802
smmu_cb_write_8(sc, dom->sd_cb_idx, SMMU_CB_TTBR0, pa);