Searched refs:resource_postplex (Results 1 – 3 of 3) sorted by relevance
419 extern void resource_postplex(void);
880 finish: fd_observatory_cleanup(); resource_postplex(); in fd_multiplex()
732 void resource_postplex(void) in resource_postplex() function