/*
- * Copyright (c) 2011-2014 M3S, Srl - Italy
+ * Copyright (c) 2011-2015 M3S, Srl - Italy
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* Authors:
* Martino Fornasa <mf@fornasa.it>
* Daniele Venturino <daniele.venturino@m3s.it>
+ * Carlo Andreotti <c.andreotti@m3s.it>
*
* References to IEEE 802.1D-2004 standard are enclosed in square brackets.
* E.g. [17.3], [Table 17-1], etc.
#include "rstp-common.h"
/* Methods called by the Forwarding Layer, through functions of rstp.h. */
-int move_rstp(struct rstp *);
-void decrease_rstp_port_timers(struct rstp *);
-void process_received_bpdu(struct rstp_port *, const void *, size_t);
+int move_rstp__(struct rstp *)
+ OVS_REQUIRES(rstp_mutex);
+void decrease_rstp_port_timers__(struct rstp *)
+ OVS_REQUIRES(rstp_mutex);
+void process_received_bpdu__(struct rstp_port *, const void *, size_t)
+ OVS_REQUIRES(rstp_mutex);
-void updt_roles_tree(struct rstp *);
+void updt_roles_tree__(struct rstp *)
+ OVS_REQUIRES(rstp_mutex);
#endif /* rstp-state-machines.h */