Symbol: domaininit
sys/kern/init_main.c
396
domaininit();
sys/sys/domain.h
65
void domaininit(void);