1 /*
2 * Licensed to the Apache Software Foundation (ASF) under one
3 * or more contributor license agreements. See the NOTICE file
4 * distributed with this work for additional information
5 * regarding copyright ownership. The ASF licenses this file
6 * to you under the Apache License, Version 2.0 (the
7 * "License"); you may not use this file except in compliance
8 * with the License. You may obtain a copy of the License at
9 *
10 * http://www.apache.org/licenses/LICENSE-2.0
11 *
12 * Unless required by applicable law or agreed to in writing,
13 * software distributed under the License is distributed on an
14 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
15 * KIND, either express or implied. See the License for the
16 * specific language governing permissions and limitations
17 * under the License.
18 */
19
20 #ifndef OS_TRACE_API_H
21 #define OS_TRACE_API_H
22
23 #include <stdint.h>
24
25 #define OS_TRACE_ID_EVENTQ_PUT (40)
26 #define OS_TRACE_ID_EVENTQ_GET_NO_WAIT (41)
27 #define OS_TRACE_ID_EVENTQ_GET (42)
28 #define OS_TRACE_ID_EVENTQ_REMOVE (43)
29 #define OS_TRACE_ID_EVENTQ_POLL_0TIMO (44)
30 #define OS_TRACE_ID_EVENTQ_POLL (45)
31 #define OS_TRACE_ID_MUTEX_INIT (50)
32 #define OS_TRACE_ID_MUTEX_RELEASE (51)
33 #define OS_TRACE_ID_MUTEX_PEND (52)
34 #define OS_TRACE_ID_SEM_INIT (60)
35 #define OS_TRACE_ID_SEM_RELEASE (61)
36 #define OS_TRACE_ID_SEM_PEND (62)
37
38 static inline void
os_trace_isr_enter(void)39 os_trace_isr_enter(void)
40 {
41 }
42
43 static inline void
os_trace_isr_exit(void)44 os_trace_isr_exit(void)
45 {
46 }
47
48 static inline void
os_trace_idle(void)49 os_trace_idle(void)
50 {
51 }
52
53 static inline void
os_trace_api_void(unsigned id)54 os_trace_api_void(unsigned id)
55 {
56 }
57
58 static inline void
os_trace_api_u32(unsigned id,uint32_t p0)59 os_trace_api_u32(unsigned id, uint32_t p0)
60 {
61 }
62
63 static inline void
os_trace_api_u32x2(unsigned id,uint32_t p0,uint32_t p1)64 os_trace_api_u32x2(unsigned id, uint32_t p0, uint32_t p1)
65 {
66 }
67
68 static inline void
os_trace_api_u32x3(unsigned id,uint32_t p0,uint32_t p1,uint32_t p2)69 os_trace_api_u32x3(unsigned id, uint32_t p0, uint32_t p1, uint32_t p2)
70 {
71 }
72
73 static inline void
os_trace_api_ret(unsigned id)74 os_trace_api_ret(unsigned id)
75 {
76 }
77
78 static inline void
os_trace_api_ret_u32(unsigned id,uint32_t return_value)79 os_trace_api_ret_u32(unsigned id, uint32_t return_value)
80 {
81 }
82
83 #endif
84