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: