mbed library sources. Supersedes mbed-src.

Fork of mbed-dev by mbed official

Committer:
<>
Date:
Fri Sep 02 15:07:44 2016 +0100
Revision:
144:ef7eb2e8f9f7
This updates the lib to the mbed lib v125

Who changed what in which revision?

UserRevisionLine numberNew contents of line
<> 144:ef7eb2e8f9f7 1 /* mbed Microcontroller Library
<> 144:ef7eb2e8f9f7 2 * Copyright (c) 2015 ARM Limited
<> 144:ef7eb2e8f9f7 3 *
<> 144:ef7eb2e8f9f7 4 * Licensed under the Apache License, Version 2.0 (the "License");
<> 144:ef7eb2e8f9f7 5 * you may not use this file except in compliance with the License.
<> 144:ef7eb2e8f9f7 6 * You may obtain a copy of the License at
<> 144:ef7eb2e8f9f7 7 *
<> 144:ef7eb2e8f9f7 8 * http://www.apache.org/licenses/LICENSE-2.0
<> 144:ef7eb2e8f9f7 9 *
<> 144:ef7eb2e8f9f7 10 * Unless required by applicable law or agreed to in writing, software
<> 144:ef7eb2e8f9f7 11 * distributed under the License is distributed on an "AS IS" BASIS,
<> 144:ef7eb2e8f9f7 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
<> 144:ef7eb2e8f9f7 13 * See the License for the specific language governing permissions and
<> 144:ef7eb2e8f9f7 14 * limitations under the License.
<> 144:ef7eb2e8f9f7 15 */
<> 144:ef7eb2e8f9f7 16 #include "us_ticker_api.h"
<> 144:ef7eb2e8f9f7 17
<> 144:ef7eb2e8f9f7 18 static ticker_event_queue_t events;
<> 144:ef7eb2e8f9f7 19
<> 144:ef7eb2e8f9f7 20 static const ticker_interface_t us_interface = {
<> 144:ef7eb2e8f9f7 21 .init = us_ticker_init,
<> 144:ef7eb2e8f9f7 22 .read = us_ticker_read,
<> 144:ef7eb2e8f9f7 23 .disable_interrupt = us_ticker_disable_interrupt,
<> 144:ef7eb2e8f9f7 24 .clear_interrupt = us_ticker_clear_interrupt,
<> 144:ef7eb2e8f9f7 25 .set_interrupt = us_ticker_set_interrupt,
<> 144:ef7eb2e8f9f7 26 };
<> 144:ef7eb2e8f9f7 27
<> 144:ef7eb2e8f9f7 28 static const ticker_data_t us_data = {
<> 144:ef7eb2e8f9f7 29 .interface = &us_interface,
<> 144:ef7eb2e8f9f7 30 .queue = &events,
<> 144:ef7eb2e8f9f7 31 };
<> 144:ef7eb2e8f9f7 32
<> 144:ef7eb2e8f9f7 33 const ticker_data_t* get_us_ticker_data(void)
<> 144:ef7eb2e8f9f7 34 {
<> 144:ef7eb2e8f9f7 35 return &us_data;
<> 144:ef7eb2e8f9f7 36 }
<> 144:ef7eb2e8f9f7 37
<> 144:ef7eb2e8f9f7 38 void us_ticker_irq_handler(void)
<> 144:ef7eb2e8f9f7 39 {
<> 144:ef7eb2e8f9f7 40 ticker_irq_handler(&us_data);
<> 144:ef7eb2e8f9f7 41 }