Symbol: DART_ERR_ADDRH
sys/arch/arm/apple/apple_dart.c
234
addr |= __SHIFTIN(DART_READ(sc, DART_ERR_ADDRH), __BITS(63, 32));
sys/arch/arm/apple/apple_dart.c
243
printf("%s: addrh %#"PRIx32"\n", __func__, DART_READ(sc, DART_ERR_ADDRH));