Dorian Cauceglia / mbed-rtos

f

Dependents:   Active-WolfMan_V2-5-All-Frank-Board-Functions_copy

rtx/TARGET_ARM7/rt_Time.c@80:2dab120a94c2, 2015-06-01 (annotated)

Committer:
mbed_official
Date:
Mon Jun 01 11:00:36 2015 +0100
Revision:
80:2dab120a94c2
Synchronized with git revision 7a1d25e3dfbe5bc1457774d4af3c73383a0ff81d



Full URL: https://github.com/mbedmicro/mbed/commit/7a1d25e3dfbe5bc1457774d4af3c73383a0ff81d/



Silicon Labs - Initial test framework pin definitions for EFM32 platforms

Who changed what in which revision?

UserRevisionLine numberNew contents of line
mbed_official 80:2dab120a94c2 1 /*----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 2 * RL-ARM - RTX
mbed_official 80:2dab120a94c2 3 *----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 4 * Name: RT_TIME.C
mbed_official 80:2dab120a94c2 5 * Purpose: Delay and interval wait functions
mbed_official 80:2dab120a94c2 6 * Rev.: V4.60
mbed_official 80:2dab120a94c2 7 *----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 8 *
mbed_official 80:2dab120a94c2 9 * Copyright (c) 1999-2009 KEIL, 2009-2015 ARM Germany GmbH
mbed_official 80:2dab120a94c2 10 * All rights reserved.
mbed_official 80:2dab120a94c2 11 * Redistribution and use in source and binary forms, with or without
mbed_official 80:2dab120a94c2 12 * modification, are permitted provided that the following conditions are met:
mbed_official 80:2dab120a94c2 13 * - Redistributions of source code must retain the above copyright
mbed_official 80:2dab120a94c2 14 * notice, this list of conditions and the following disclaimer.
mbed_official 80:2dab120a94c2 15 * - Redistributions in binary form must reproduce the above copyright
mbed_official 80:2dab120a94c2 16 * notice, this list of conditions and the following disclaimer in the
mbed_official 80:2dab120a94c2 17 * documentation and/or other materials provided with the distribution.
mbed_official 80:2dab120a94c2 18 * - Neither the name of ARM nor the names of its contributors may be used
mbed_official 80:2dab120a94c2 19 * to endorse or promote products derived from this software without
mbed_official 80:2dab120a94c2 20 * specific prior written permission.
mbed_official 80:2dab120a94c2 21 *
mbed_official 80:2dab120a94c2 22 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
mbed_official 80:2dab120a94c2 23 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
mbed_official 80:2dab120a94c2 24 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
mbed_official 80:2dab120a94c2 25 * ARE DISCLAIMED. IN NO EVENT SHALL COPYRIGHT HOLDERS AND CONTRIBUTORS BE
mbed_official 80:2dab120a94c2 26 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
mbed_official 80:2dab120a94c2 27 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
mbed_official 80:2dab120a94c2 28 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
mbed_official 80:2dab120a94c2 29 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
mbed_official 80:2dab120a94c2 30 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
mbed_official 80:2dab120a94c2 31 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
mbed_official 80:2dab120a94c2 32 * POSSIBILITY OF SUCH DAMAGE.
mbed_official 80:2dab120a94c2 33 *---------------------------------------------------------------------------*/
mbed_official 80:2dab120a94c2 34
mbed_official 80:2dab120a94c2 35 #include "rt_TypeDef.h"
mbed_official 80:2dab120a94c2 36 #include "RTX_Conf.h"
mbed_official 80:2dab120a94c2 37 #include "rt_Task.h"
mbed_official 80:2dab120a94c2 38 #include "rt_Time.h"
mbed_official 80:2dab120a94c2 39
mbed_official 80:2dab120a94c2 40 /*----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 41 * Global Variables
mbed_official 80:2dab120a94c2 42 *---------------------------------------------------------------------------*/
mbed_official 80:2dab120a94c2 43
mbed_official 80:2dab120a94c2 44 /* Free running system tick counter */
mbed_official 80:2dab120a94c2 45 U32 os_time;
mbed_official 80:2dab120a94c2 46
mbed_official 80:2dab120a94c2 47
mbed_official 80:2dab120a94c2 48 /*----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 49 * Functions
mbed_official 80:2dab120a94c2 50 *---------------------------------------------------------------------------*/
mbed_official 80:2dab120a94c2 51
mbed_official 80:2dab120a94c2 52
mbed_official 80:2dab120a94c2 53 /*--------------------------- rt_time_get -----------------------------------*/
mbed_official 80:2dab120a94c2 54
mbed_official 80:2dab120a94c2 55 U32 rt_time_get (void) {
mbed_official 80:2dab120a94c2 56 /* Get system time tick */
mbed_official 80:2dab120a94c2 57 return (os_time);
mbed_official 80:2dab120a94c2 58 }
mbed_official 80:2dab120a94c2 59
mbed_official 80:2dab120a94c2 60
mbed_official 80:2dab120a94c2 61 /*--------------------------- rt_dly_wait -----------------------------------*/
mbed_official 80:2dab120a94c2 62
mbed_official 80:2dab120a94c2 63 void rt_dly_wait (U16 delay_time) {
mbed_official 80:2dab120a94c2 64 /* Delay task by "delay_time" */
mbed_official 80:2dab120a94c2 65 rt_block (delay_time, WAIT_DLY);
mbed_official 80:2dab120a94c2 66 }
mbed_official 80:2dab120a94c2 67
mbed_official 80:2dab120a94c2 68
mbed_official 80:2dab120a94c2 69 /*--------------------------- rt_itv_set ------------------------------------*/
mbed_official 80:2dab120a94c2 70
mbed_official 80:2dab120a94c2 71 void rt_itv_set (U16 interval_time) {
mbed_official 80:2dab120a94c2 72 /* Set interval length and define start of first interval */
mbed_official 80:2dab120a94c2 73 os_tsk.run->interval_time = interval_time;
mbed_official 80:2dab120a94c2 74 os_tsk.run->delta_time = interval_time + (U16)os_time;
mbed_official 80:2dab120a94c2 75 }
mbed_official 80:2dab120a94c2 76
mbed_official 80:2dab120a94c2 77
mbed_official 80:2dab120a94c2 78 /*--------------------------- rt_itv_wait -----------------------------------*/
mbed_official 80:2dab120a94c2 79
mbed_official 80:2dab120a94c2 80 void rt_itv_wait (void) {
mbed_official 80:2dab120a94c2 81 /* Wait for interval end and define start of next one */
mbed_official 80:2dab120a94c2 82 U16 delta;
mbed_official 80:2dab120a94c2 83
mbed_official 80:2dab120a94c2 84 delta = os_tsk.run->delta_time - (U16)os_time;
mbed_official 80:2dab120a94c2 85 os_tsk.run->delta_time += os_tsk.run->interval_time;
mbed_official 80:2dab120a94c2 86 if ((delta & 0x8000) == 0) {
mbed_official 80:2dab120a94c2 87 rt_block (delta, WAIT_ITV);
mbed_official 80:2dab120a94c2 88 }
mbed_official 80:2dab120a94c2 89 }
mbed_official 80:2dab120a94c2 90
mbed_official 80:2dab120a94c2 91 /*----------------------------------------------------------------------------
mbed_official 80:2dab120a94c2 92 * end of file
mbed_official 80:2dab120a94c2 93 *---------------------------------------------------------------------------*/
mbed_official 80:2dab120a94c2 94