Man pages matching name resetbddcircuit in section 3:

resetbddcircuit.3.en

debian 10 / alliance