* Normally we only check mapped memory when it's referenced during capture by some binding, but for BDA we don't have bindings so we have to conservatively check it every time.