Symbol: secmodel_securelevel_start
sys/secmodel/securelevel/secmodel_securelevel.c
218
secmodel_securelevel_start();
sys/secmodel/securelevel/securelevel.h
38
void secmodel_securelevel_start(void);