diff options
| -rw-r--r-- | src/drivers/intel/gma/hires_fb/gma-gfx_init.adb | 2 | ||||
| -rw-r--r-- | src/drivers/intel/gma/text_fb/gma-gfx_init.adb | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/drivers/intel/gma/hires_fb/gma-gfx_init.adb b/src/drivers/intel/gma/hires_fb/gma-gfx_init.adb index 048b7bd9da..420dc6e7d1 100644 --- a/src/drivers/intel/gma/hires_fb/gma-gfx_init.adb +++ b/src/drivers/intel/gma/hires_fb/gma-gfx_init.adb @@ -70,7 +70,7 @@ is configs (i).Framebuffer := fb; end loop; - HW.GFX.GMA.Dump_Configs (configs); + pragma Debug (HW.GFX.GMA.Dump_Configs (configs)); HW.GFX.GMA.Setup_Default_FB (FB => fb, diff --git a/src/drivers/intel/gma/text_fb/gma-gfx_init.adb b/src/drivers/intel/gma/text_fb/gma-gfx_init.adb index 026cb16b5c..cec21b5310 100644 --- a/src/drivers/intel/gma/text_fb/gma-gfx_init.adb +++ b/src/drivers/intel/gma/text_fb/gma-gfx_init.adb @@ -48,7 +48,7 @@ is configs (Primary).Framebuffer.Offset := VGA_PLANE_FRAMEBUFFER_OFFSET; - HW.GFX.GMA.Dump_Configs (configs); + pragma Debug (HW.GFX.GMA.Dump_Configs (configs)); HW.GFX.GMA.Update_Outputs (configs); lightup_ok := 1; |