Symbol: secmodel_init
sys/kern/init_main.c
355
secmodel_init();
sys/rump/librump/rumpkern/rump.c
304
secmodel_init();
sys/secmodel/secmodel.h
36
void secmodel_init(void);