MLECO-2948: Minor refactoring for platform modules.
Reducing dependency on cmsis-device sources as these will
be removed under MLECO-2944. Also, starting to refactor
to allow HAL to drop NPU and TA init routines - this will
happen in future CRs.
Added platform driver for native, and subsequent patches
will attempt to get rid of the HAL "profile" specific
sources and allow platform stub implementations at a level
below HAL. This will allow platforms drivers to only
override the range of functions that they actually want to
implement and will fall back on stubs for the rest. In this
CR only "utils" have been removed.
Change-Id: I09b4a28e20847a07a956c818c6f47c74aab89063
diff --git a/source/hal/platform/mps3/include/timer_mps3.h b/source/hal/platform/mps3/include/timer_mps3.h
index 70d059c..b5db722 100644
--- a/source/hal/platform/mps3/include/timer_mps3.h
+++ b/source/hal/platform/mps3/include/timer_mps3.h
@@ -1,5 +1,5 @@
/*
- * Copyright (c) 2021 Arm Limited. All rights reserved.
+ * Copyright (c) 2021-2022 Arm Limited. All rights reserved.
* SPDX-License-Identifier: Apache-2.0
*
* Licensed under the Apache License, Version 2.0 (the "License");
@@ -18,7 +18,6 @@
#define TIMER_MPS3_H
#include <stdint.h>
-#include <time.h>
/* Container for timestamp up-counters. */
typedef struct _mps3_time_counter {
@@ -47,7 +46,7 @@
* @brief Gets the duration elapsed between two counters in milliseconds.
* @param[in] start Pointer to base_time_counter value at start time.
* @param[in] end Pointer to base_time_counter value at end.
- * @returns Difference in milliseconds between the two give counters
+ * @returns Difference in milliseconds between the two give counters
* expressed as an unsigned integer.
**/
uint32_t get_duration_milliseconds(base_time_counter *start,
@@ -57,7 +56,7 @@
* @brief Gets the duration elapsed between two counters in microseconds.
* @param[in] start Pointer to base_time_counter value at start time.
* @param[in] end Pointer to base_time_counter value at end.
- * @returns Difference in microseconds between the two give counters
+ * @returns Difference in microseconds between the two give counters
* expressed as an unsigned integer.
**/
uint32_t get_duration_microseconds(base_time_counter *start,
@@ -83,4 +82,9 @@
**/
void stop_cycle_counter(void);
+/**
+ * @brief System tick interrupt handler.
+ **/
+void SysTick_Handler(void);
+
#endif /* TIMER_MPS3_H */