diff --git a/arch/arm/src/common/up_initialize.c b/arch/arm/src/common/up_initialize.c index 2cb332671b6..b6109e1c9bf 100644 --- a/arch/arm/src/common/up_initialize.c +++ b/arch/arm/src/common/up_initialize.c @@ -44,6 +44,7 @@ #include #include #include +#include #include #include #include @@ -203,6 +204,9 @@ void up_initialize(void) devzero_register(); /* Standard /dev/zero */ #endif +#if defined(CONFIG_DEV_LOOP) + loop_register(); /* Standard /dev/loop */ +#endif #endif /* CONFIG_NFILE_DESCRIPTORS */ /* Initialize the serial device driver */ diff --git a/arch/avr/src/common/up_initialize.c b/arch/avr/src/common/up_initialize.c index f44b421c6d0..f6273cb4e9b 100644 --- a/arch/avr/src/common/up_initialize.c +++ b/arch/avr/src/common/up_initialize.c @@ -43,6 +43,7 @@ #include #include +#include #include #include #include @@ -235,6 +236,9 @@ void up_initialize(void) devzero_register(); /* Standard /dev/zero */ #endif +#if defined(CONFIG_DEV_LOOP) + loop_register(); /* Standard /dev/loop */ +#endif #endif /* CONFIG_NFILE_DESCRIPTORS */ /* Initialize the serial device driver */ diff --git a/arch/hc/src/common/up_initialize.c b/arch/hc/src/common/up_initialize.c index 5628c3aaecd..6b2495f728d 100644 --- a/arch/hc/src/common/up_initialize.c +++ b/arch/hc/src/common/up_initialize.c @@ -44,6 +44,7 @@ #include #include #include +#include #include #include #include @@ -159,6 +160,9 @@ void up_initialize(void) devzero_register(); /* Standard /dev/zero */ #endif +#if defined(CONFIG_DEV_LOOP) + loop_register(); /* Standard /dev/loop */ +#endif #endif /* CONFIG_NFILE_DESCRIPTORS */ /* Initialize the serial device driver */ diff --git a/arch/mips/src/common/up_initialize.c b/arch/mips/src/common/up_initialize.c index 1274772249a..3588057b1de 100644 --- a/arch/mips/src/common/up_initialize.c +++ b/arch/mips/src/common/up_initialize.c @@ -44,6 +44,7 @@ #include #include #include +#include #include #include #include @@ -161,6 +162,9 @@ void up_initialize(void) devzero_register(); /* Standard /dev/zero */ #endif +#if defined(CONFIG_DEV_LOOP) + loop_register(); /* Standard /dev/loop */ +#endif #endif /* CONFIG_NFILE_DESCRIPTORS */ /* Initialize the serial device driver */ diff --git a/arch/sh/src/common/up_initialize.c b/arch/sh/src/common/up_initialize.c index f4e067489f8..3b19140ac08 100644 --- a/arch/sh/src/common/up_initialize.c +++ b/arch/sh/src/common/up_initialize.c @@ -44,6 +44,7 @@ #include #include #include +#include #include #include #include @@ -146,6 +147,9 @@ void up_initialize(void) devzero_register(); /* Standard /dev/zero */ #endif +#if defined(CONFIG_DEV_LOOP) + loop_register(); /* Standard /dev/loop */ +#endif #endif /* CONFIG_NFILE_DESCRIPTORS */ /* Initialize the serial device driver */ diff --git a/arch/sim/src/up_initialize.c b/arch/sim/src/up_initialize.c index 667a618d491..4bf85707a00 100644 --- a/arch/sim/src/up_initialize.c +++ b/arch/sim/src/up_initialize.c @@ -43,6 +43,7 @@ #include #include +#include #include #include #include @@ -149,6 +150,9 @@ void up_initialize(void) devzero_register(); /* Standard /dev/zero */ #endif +#if defined(CONFIG_DEV_LOOP) + loop_register(); /* Standard /dev/loop */ +#endif #endif /* CONFIG_NFILE_DESCRIPTORS */ #if defined(USE_DEVCONSOLE) diff --git a/arch/x86/src/common/up_initialize.c b/arch/x86/src/common/up_initialize.c index 21d4eba7cb7..d395c2d654f 100644 --- a/arch/x86/src/common/up_initialize.c +++ b/arch/x86/src/common/up_initialize.c @@ -44,6 +44,7 @@ #include #include #include +#include #include #include #include @@ -161,6 +162,9 @@ void up_initialize(void) devzero_register(); /* Standard /dev/zero */ #endif +#if defined(CONFIG_DEV_LOOP) + loop_register(); /* Standard /dev/loop */ +#endif #endif /* CONFIG_NFILE_DESCRIPTORS */ /* Initialize the serial device driver */ diff --git a/arch/z16/src/common/up_initialize.c b/arch/z16/src/common/up_initialize.c index 747d448b0cb..2932c50f17c 100644 --- a/arch/z16/src/common/up_initialize.c +++ b/arch/z16/src/common/up_initialize.c @@ -44,6 +44,7 @@ #include #include #include +#include #include #include #include @@ -165,6 +166,9 @@ void up_initialize(void) devzero_register(); /* Standard /dev/zero */ #endif +#if defined(CONFIG_DEV_LOOP) + loop_register(); /* Standard /dev/loop */ +#endif #endif /* CONFIG_NFILE_DESCRIPTORS */ /* Initialize the serial device driver */ diff --git a/arch/z80/src/common/up_initialize.c b/arch/z80/src/common/up_initialize.c index 2bc7420c391..67aad82a37d 100644 --- a/arch/z80/src/common/up_initialize.c +++ b/arch/z80/src/common/up_initialize.c @@ -44,6 +44,7 @@ #include #include #include +#include #include #include @@ -157,6 +158,9 @@ void up_initialize(void) devzero_register(); /* Standard /dev/zero */ #endif +#if defined(CONFIG_DEV_LOOP) + loop_register(); /* Standard /dev/loop */ +#endif #endif /* CONFIG_NFILE_DESCRIPTORS */ /* Initialize the serial device driver */