elad f266f9a5db Use secmodel_register() and secmodel_deregister().		2007-01-16 11:53:00 +00:00
..
files.overlay	…
overlay.h	…
secmodel_overlay.c	Use secmodel_register() and secmodel_deregister().	2007-01-16 11:53:00 +00:00