4 files changed, 13 insertions, 11 deletions
diff --git a/baseboard/brask/baseboard.c b/baseboard/brask/baseboard.c
index 33a3d9acf4..5a96ba49ca 100644
--- a/baseboard/brask/baseboard.c
+++ b/baseboard/brask/baseboard.c
@@ -5,6 +5,7 @@
 
 #include "common.h"
 #include "compile_time_macros.h"
+
 #include "gpio_signal.h"
 
 /* Wake up pins */
diff --git a/baseboard/brask/baseboard.h b/baseboard/brask/baseboard.h
index 8f10ebb8aa..3fb3a5955f 100644
--- a/baseboard/brask/baseboard.h
+++ b/baseboard/brask/baseboard.h
@@ -189,13 +189,13 @@
 
 #ifndef __ASSEMBLER__
 
-#include "baseboard_usbc_config.h"
-#include "common.h"
-#include "extpower.h"
-
 #include <stdbool.h>
 #include <stdint.h>
 
+#include "common.h"
+#include "baseboard_usbc_config.h"
+#include "extpower.h"
+
 /*
  * Configure run-time data structures and operation based on CBI data. This
  * typically includes customization for changes in the BOARD_VERSION and
diff --git a/baseboard/brask/cbi.c b/baseboard/brask/cbi.c
index 0ff0e4c7f7..0dcfcca253 100644
--- a/baseboard/brask/cbi.c
+++ b/baseboard/brask/cbi.c
@@ -3,13 +3,13 @@
  * found in the LICENSE file.
  */
 
-#include "common.h"
+#include <stdint.h>
+
 #include "console.h"
+#include "common.h"
 #include "cros_board_info.h"
 #include "hooks.h"
 
-#include <stdint.h>
-
 #define CPRINTS(format, args...) cprints(CC_SYSTEM, format, ##args)
 #define CPRINTF(format, args...) cprintf(CC_SYSTEM, format, ##args)
 
diff --git a/baseboard/brask/usb_pd_policy.c b/baseboard/brask/usb_pd_policy.c
index e20ad13f98..0503415a9d 100644
--- a/baseboard/brask/usb_pd_policy.c
+++ b/baseboard/brask/usb_pd_policy.c
@@ -5,6 +5,9 @@
 
 /* Shared USB-C policy for Brask boards */
 
+#include <stddef.h>
+#include <stdint.h>
+
 #include "charge_manager.h"
 #include "chipset.h"
 #include "common.h"
@@ -13,17 +16,15 @@
 #include "ec_commands.h"
 #include "gpio.h"
 #include "timer.h"
+#include "usbc_ppc.h"
 #include "usb_mux.h"
 #include "usb_pd.h"
+#include "usb_pd.h"
 #include "usb_pd_tbt.h"
 #include "usb_pd_tcpm.h"
 #include "usb_pd_vdo.h"
-#include "usbc_ppc.h"
 #include "util.h"
 
-#include <stddef.h>
-#include <stdint.h>
-
 #define CPRINTF(format, args...) cprintf(CC_USBPD, format, ##args)
 #define CPRINTS(format, args...) cprints(CC_USBPD, format, ##args)