domaininit        384 kern/init_main.c 	domaininit();
domaininit         66 sys/domain.h   void domaininit(void);