Symbol: rump_pdev_finalize
sys/rump/include/rump-sys/dev.h
36
void rump_pdev_finalize(void);
sys/rump/librump/rumpdev/rump_dev.c
67
rump_pdev_finalize();