Update us_ticker.c

pull/987/head
Wim 2015-03-21 15:10:39 +01:00
parent 3e76f8cf2a
commit 8cfb41f56c
1 changed files with 3 additions and 0 deletions

View File

@ -13,6 +13,9 @@
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#include <stddef.h>
#include "us_ticker_api.h"
#include "PeripheralNames.h"
static int us_ticker_inited = 0;
int MRT_Clock_MHz;