Symbol: secmodel_overlay_start
sys/secmodel/overlay/overlay.h
36
void secmodel_overlay_start(void);
sys/secmodel/overlay/secmodel_overlay.c
207
secmodel_overlay_start();