mirror of
https://github.com/zephyrproject-rtos/zephyr
synced 2025-09-07 18:01:56 +00:00
7e5f0b7bff
This API is used to fetch the kernel system timer as 32-bit value. This is analogous to k_cycle_get_32 in the kernel. Signed-off-by: Rajavardhan Gundi <rajavardhan.gundi@intel.com>
17 lines
261 B
C
17 lines
261 B
C
/*
|
|
* Copyright (c) 2018 Intel Corporation
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
#include <kernel_structs.h>
|
|
#include <cmsis_os.h>
|
|
|
|
/**
|
|
* @brief Get the RTOS kernel system timer counter
|
|
*/
|
|
uint32_t osKernelSysTick(void)
|
|
{
|
|
return k_cycle_get_32();
|
|
}
|