diff options
Diffstat (limited to 'nuttx')
| -rw-r--r-- | nuttx/arch/arm/src/armv7-a/arm_pgalloc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/arch/arm/src/armv7-a/arm_pgalloc.c b/nuttx/arch/arm/src/armv7-a/arm_pgalloc.c index 3235cda25..673af5834 100644 --- a/nuttx/arch/arm/src/armv7-a/arm_pgalloc.c +++ b/nuttx/arch/arm/src/armv7-a/arm_pgalloc.c @@ -49,7 +49,7 @@ #include "cache.h" #include "mmu.h" -#include "pginline.h" +#include "pgalloc.h" #if defined(CONFIG_MM_PGALLOC) && defined(CONFIG_ARCH_USE_MMU) |