secmodel_extensions_vfs_stop
__weak_alias(secmodel_extensions_vfs_stop,rump_secmodel_extensions_vfs_stop);
void secmodel_extensions_vfs_stop(void);
secmodel_extensions_vfs_stop();