Symbol: secmodel_overlay_init
sys/secmodel/overlay/overlay.h
35
void secmodel_overlay_init(void);
sys/secmodel/overlay/secmodel_overlay.c
204
secmodel_overlay_init();