Changes in kernel/arch/arm32/include/faddr.h [7a0359b:6b781c0] in mainline

File:

• kernel/arch/arm32/include/faddr.h (modified) (2 diffs)

kernel/arch/arm32/include/faddr.h

@@ -27 +27 @@
  */
 
-/** @addtogroup arm32
+/** @addtogroup arm32   
  * @{
  */
@@ -37 +37 @@
 #define KERN_arm32_FADDR_H_
 
-#include <typedefs.h>
+#include <arch/types.h>
 
 /** Calculate absolute address of function referenced by fptr pointer.
  *
  * @param fptr Function pointer.
- *
  */
-#define FADDR(fptr)  ((uintptr_t) (fptr))
+#define FADDR(fptr)             ((uintptr_t) (fptr))
 
 #endif