libutee: add headers for user-space to access sysregs
User space may require to access system registers like generic timer
registers in case function tracing is enabled etc. So provide headers
for user space to access sysregs.
Signed-off-by: Sumit Garg <sumit.garg@linaro.org>
Reviewed-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>
diff --git a/scripts/arm32_sysreg.py b/scripts/arm32_sysreg.py
index bd0c619..0852471 100755
--- a/scripts/arm32_sysreg.py
+++ b/scripts/arm32_sysreg.py
@@ -69,7 +69,7 @@
print('')
if len(descr):
print('/* ' + descr + ' */')
- print('static inline uint64_t read_' + reg_name.lower() + '(void)')
+ print('static inline __noprof uint64_t read_' + reg_name.lower() + '(void)')
print('{')
print('\tuint64_t v;')
print('')
@@ -84,7 +84,8 @@
print('')
if len(descr):
print('/* ' + descr + ' */')
- print('static inline void write_' + reg_name.lower() + '(uint64_t v)')
+ print('static inline __noprof void write_' + reg_name.lower() +
+ '(uint64_t v)')
print('{')
print('\tasm volatile ("mcrr p15, ' + opc1 + ', %Q0, %R0, ' +
crm + '"' + ' : : "r" (v));')
@@ -95,7 +96,7 @@
print('')
if len(descr):
print('/* ' + descr + ' */')
- print('static inline uint32_t read_' + reg_name.lower() + '(void)')
+ print('static inline __noprof uint32_t read_' + reg_name.lower() + '(void)')
print('{')
print('\tuint32_t v;')
print('')
@@ -110,7 +111,8 @@
print('')
if len(descr):
print('/* ' + descr + ' */')
- print('static inline void write_' + reg_name.lower() + '(uint32_t v)')
+ print('static inline __noprof void write_' + reg_name.lower() +
+ '(uint32_t v)')
print('{')
print('\tasm volatile ("mcr p15, ' + opc1 + ', %0, ' + crn + ', ' +
crm + ', ' + opc2 + '"' + ' : : "r" (v));')
@@ -225,6 +227,7 @@
if args.guard is not None:
print('#ifndef ' + args.guard.upper().replace('.', '_'))
print('#define ' + args.guard.upper().replace('.', '_'))
+ print('#include <compiler.h>')
line_number = 0
for line in sys.stdin: