anyThing Connected Team / mbed-dev

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

Dependents:   BREAK_SENSOR_LED

Fork of mbed-dev by mbed official

targets/TARGET_ARM_SSG/TARGET_BEETLE/cordio/include/wsf/generic/wsf_os_int.h@149:156823d33999, 2016-10-28 (annotated)

Committer:
<>
Date:
Fri Oct 28 11:17:30 2016 +0100
Revision:
149:156823d33999
Parent:
targets/hal/TARGET_ARM_SSG/TARGET_BEETLE/cordio/include/wsf/generic/wsf_os_int.h@144:ef7eb2e8f9f7
Child:
150:02e0a0aed4ec
This updates the lib to the mbed lib v128



NOTE: This release includes a restructuring of the file and directory locations and thus some

include paths in your code may need updating accordingly.

Who changed what in which revision?

UserRevisionLine numberNew contents of line
<> 144:ef7eb2e8f9f7 1 /*************************************************************************************************/
<> 144:ef7eb2e8f9f7 2 /*!
<> 144:ef7eb2e8f9f7 3 * \file wsf_os_int.h
<> 144:ef7eb2e8f9f7 4 *
<> 144:ef7eb2e8f9f7 5 * \brief Software foundation OS platform-specific interface file.
<> 144:ef7eb2e8f9f7 6 *
<> 144:ef7eb2e8f9f7 7 * $Date: 2012-10-01 16:53:07 -0400 (Mon, 01 Oct 2012) $
<> 144:ef7eb2e8f9f7 8 * $Revision: 357 $
<> 144:ef7eb2e8f9f7 9 *
<> 144:ef7eb2e8f9f7 10 * Copyright (c) 2009-2016, ARM Limited, All Rights Reserved
<> 144:ef7eb2e8f9f7 11 * SPDX-License-Identifier: LicenseRef-PBL
<> 144:ef7eb2e8f9f7 12 *
<> 144:ef7eb2e8f9f7 13 * This file and the related binary are licensed under the
<> 144:ef7eb2e8f9f7 14 * Permissive Binary License, Version 1.0 (the "License");
<> 144:ef7eb2e8f9f7 15 * you may not use these files except in compliance with the License.
<> 144:ef7eb2e8f9f7 16 *
<> 144:ef7eb2e8f9f7 17 * You may obtain a copy of the License here:
<> 144:ef7eb2e8f9f7 18 * LICENSE-permissive-binary-license-1.0.txt and at
<> 144:ef7eb2e8f9f7 19 * https://www.mbed.com/licenses/PBL-1.0
<> 144:ef7eb2e8f9f7 20 *
<> 144:ef7eb2e8f9f7 21 * See the License for the specific language governing permissions and
<> 144:ef7eb2e8f9f7 22 * limitations under the License.
<> 144:ef7eb2e8f9f7 23 */
<> 144:ef7eb2e8f9f7 24 /*************************************************************************************************/
<> 144:ef7eb2e8f9f7 25 #ifndef WSF_OS_INT_H
<> 144:ef7eb2e8f9f7 26 #define WSF_OS_INT_H
<> 144:ef7eb2e8f9f7 27
<> 144:ef7eb2e8f9f7 28 #ifdef __cplusplus
<> 144:ef7eb2e8f9f7 29 extern "C" {
<> 144:ef7eb2e8f9f7 30 #endif
<> 144:ef7eb2e8f9f7 31
<> 144:ef7eb2e8f9f7 32 /**************************************************************************************************
<> 144:ef7eb2e8f9f7 33 Macros
<> 144:ef7eb2e8f9f7 34 **************************************************************************************************/
<> 144:ef7eb2e8f9f7 35
<> 144:ef7eb2e8f9f7 36 /* Task events */
<> 144:ef7eb2e8f9f7 37 #define WSF_MSG_QUEUE_EVENT 0x01 /* Message queued for event handler */
<> 144:ef7eb2e8f9f7 38 #define WSF_TIMER_EVENT 0x02 /* Timer expired for event handler */
<> 144:ef7eb2e8f9f7 39 #define WSF_HANDLER_EVENT 0x04 /* Event set for event handler */
<> 144:ef7eb2e8f9f7 40
<> 144:ef7eb2e8f9f7 41 /* Derive task from handler ID */
<> 144:ef7eb2e8f9f7 42 #define WSF_TASK_FROM_ID(handlerID) (((handlerID) >> 4) & 0x0F)
<> 144:ef7eb2e8f9f7 43
<> 144:ef7eb2e8f9f7 44 /* Derive handler from handler ID */
<> 144:ef7eb2e8f9f7 45 #define WSF_HANDLER_FROM_ID(handlerID) ((handlerID) & 0x0F)
<> 144:ef7eb2e8f9f7 46
<> 144:ef7eb2e8f9f7 47 /**************************************************************************************************
<> 144:ef7eb2e8f9f7 48 Data Types
<> 144:ef7eb2e8f9f7 49 **************************************************************************************************/
<> 144:ef7eb2e8f9f7 50
<> 144:ef7eb2e8f9f7 51 /* Event handler ID data type */
<> 144:ef7eb2e8f9f7 52 typedef uint8_t wsfHandlerId_t;
<> 144:ef7eb2e8f9f7 53
<> 144:ef7eb2e8f9f7 54 /* Event handler event mask data type */
<> 144:ef7eb2e8f9f7 55 typedef uint8_t wsfEventMask_t;
<> 144:ef7eb2e8f9f7 56
<> 144:ef7eb2e8f9f7 57 /* Task ID data type */
<> 144:ef7eb2e8f9f7 58 typedef wsfHandlerId_t wsfTaskId_t;
<> 144:ef7eb2e8f9f7 59
<> 144:ef7eb2e8f9f7 60 /* Task event mask data type */
<> 144:ef7eb2e8f9f7 61 typedef uint8_t wsfTaskEvent_t;
<> 144:ef7eb2e8f9f7 62
<> 144:ef7eb2e8f9f7 63 /**************************************************************************************************
<> 144:ef7eb2e8f9f7 64 Function Declarations
<> 144:ef7eb2e8f9f7 65 **************************************************************************************************/
<> 144:ef7eb2e8f9f7 66
<> 144:ef7eb2e8f9f7 67 /*************************************************************************************************/
<> 144:ef7eb2e8f9f7 68 /*!
<> 144:ef7eb2e8f9f7 69 * \fn wsfOsReadyToSleep
<> 144:ef7eb2e8f9f7 70 *
<> 144:ef7eb2e8f9f7 71 * \brief Check if WSF is ready to sleep.
<> 144:ef7eb2e8f9f7 72 *
<> 144:ef7eb2e8f9f7 73 * \param None.
<> 144:ef7eb2e8f9f7 74 *
<> 144:ef7eb2e8f9f7 75 * \return Return TRUE if there are no pending WSF task events set, FALSE otherwise.
<> 144:ef7eb2e8f9f7 76 */
<> 144:ef7eb2e8f9f7 77 /*************************************************************************************************/
<> 144:ef7eb2e8f9f7 78 bool_t wsfOsReadyToSleep(void);
<> 144:ef7eb2e8f9f7 79
<> 144:ef7eb2e8f9f7 80 /*************************************************************************************************/
<> 144:ef7eb2e8f9f7 81 /*!
<> 144:ef7eb2e8f9f7 82 * \fn wsfOsDispatcher
<> 144:ef7eb2e8f9f7 83 *
<> 144:ef7eb2e8f9f7 84 * \brief Event dispatched. Designed to be called repeatedly from infinite loop.
<> 144:ef7eb2e8f9f7 85 *
<> 144:ef7eb2e8f9f7 86 * \param None.
<> 144:ef7eb2e8f9f7 87 *
<> 144:ef7eb2e8f9f7 88 * \return None.
<> 144:ef7eb2e8f9f7 89 */
<> 144:ef7eb2e8f9f7 90 /*************************************************************************************************/
<> 144:ef7eb2e8f9f7 91 void wsfOsDispatcher(void);
<> 144:ef7eb2e8f9f7 92
<> 144:ef7eb2e8f9f7 93 /*************************************************************************************************/
<> 144:ef7eb2e8f9f7 94 /*!
<> 144:ef7eb2e8f9f7 95 * \fn WsfOsShutdown
<> 144:ef7eb2e8f9f7 96 *
<> 144:ef7eb2e8f9f7 97 * \brief Shutdown OS.
<> 144:ef7eb2e8f9f7 98 *
<> 144:ef7eb2e8f9f7 99 * \return None.
<> 144:ef7eb2e8f9f7 100 */
<> 144:ef7eb2e8f9f7 101 /*************************************************************************************************/
<> 144:ef7eb2e8f9f7 102 void WsfOsShutdown(void);
<> 144:ef7eb2e8f9f7 103
<> 144:ef7eb2e8f9f7 104 #ifdef __cplusplus
<> 144:ef7eb2e8f9f7 105 };
<> 144:ef7eb2e8f9f7 106 #endif
<> 144:ef7eb2e8f9f7 107
<> 144:ef7eb2e8f9f7 108 #endif /* WSF_OS_INT_H */