bman_requires_cleanup
if (__bman_portals_probed == 1 && bman_requires_cleanup()) {
int bman_requires_cleanup(void);