share/examples/secmodel/secmodel_example.c

189

error = secmodel_deregister(example_sm);

sys/secmodel/bsd44/secmodel_bsd44.c

114

error = secmodel_deregister(bsd44_sm);

sys/secmodel/extensions/secmodel_extensions.c

288

error = secmodel_deregister(extensions_sm);

sys/secmodel/keylock/secmodel_keylock.c

141

error = secmodel_deregister(keylock_sm);

sys/secmodel/overlay/secmodel_overlay.c

213

error = secmodel_deregister(overlay_sm);

sys/secmodel/secmodel.h

60

int secmodel_deregister(secmodel_t);

sys/secmodel/securelevel/secmodel_securelevel.c

224

error = secmodel_deregister(securelevel_sm);

sys/secmodel/suser/secmodel_suser.c

169

error = secmodel_deregister(suser_sm);