Symbol: apldart_lookup_tte
sys/arch/arm64/dev/apldart.c
833
tte = apldart_lookup_tte(as, dva);
sys/arch/arm64/dev/apldart.c
868
tte = apldart_lookup_tte(as, dva);