make_checked_call   87 src/WrapExternStages.cpp                 downgrades.push_back(make_checked_call(downgrade_call));
make_checked_call   95 src/WrapExternStages.cpp                 upgrades.push_back(make_checked_call(upgrade_call));
make_checked_call  103 src/WrapExternStages.cpp         Stmt body = make_checked_call(inner_call);
make_checked_call  196 src/WrapExternStages.cpp             Stmt downgrade = make_checked_call(downgrade_call);
make_checked_call  202 src/WrapExternStages.cpp             Stmt downgrade_device = make_checked_call(downgrade_device_call);
make_checked_call  215 src/WrapExternStages.cpp             upgrades.push_back(make_checked_call(upgrade_call));
make_checked_call  228 src/WrapExternStages.cpp     Stmt body = make_checked_call(inner_call);