Symbol: domaininit_post
sys/rump/librump/rumpnet/rump_net.c
60
domaininit_post();
sys/sys/domain.h
106
void domaininit_post(void);