diff --git a/arch/x86_64/src/intel64/intel64_lowsetup.c b/arch/x86_64/src/intel64/intel64_lowsetup.c
index 7fa6f0545f..80730f4252 100644
--- a/arch/x86_64/src/intel64/intel64_lowsetup.c
+++ b/arch/x86_64/src/intel64/intel64_lowsetup.c
@@ -95,6 +95,7 @@ void up_lowsetup(void)
   x86_64_check_and_enable_capability();
 
   /* Revoke the lower memory */
+
   __revoke_low_memory();
 
   /* perform board-specific initializations */