Man pages matching name resetbddsystem in section 3:

resetbddsystem.3.en

debian 10 / alliance