chip/ish/system.c: Format with clang-format
BRANCH=none
TEST=none
@@ -57,8 +57,7 @@ uint32_t chip_read_reset_flags(void)
* Used when the watchdog timer exceeds max retries and we want to
* disable ISH completely.
*/
-noreturn
-static void system_halt(void)
+noreturn static void system_halt(void)
{
cflush();
@@ -66,8 +65,7 @@ static void system_halt(void)
disable_all_interrupts();
WDT_CONTROL = 0;
CCU_TCG_EN = 1;
- __asm__ volatile (
- "cli\n"
+ __asm__ volatile("cli\n"
"hlt\n");
}
}
@@ -90,8 +88,8 @@ void system_reset(int flags)
if (flags & SYSTEM_RESET_AP_WATCHDOG) {
save_flags |= EC_RESET_FLAG_WATCHDOG;
ish_persistent_data.watchdog_counter += 1;
- if (ish_persistent_data.watchdog_counter
- >= CONFIG_WATCHDOG_MAX_RETRIES) {
+ if (ish_persistent_data.watchdog_counter >=
+ CONFIG_WATCHDOG_MAX_RETRIES) {
CPRINTS("Halting ISH due to max watchdog resets");
system_halt();
}
@@ -180,14 +178,8 @@ void system_set_image_copy(enum ec_image copy)
#define AGENT_STS 0x28
#define ERROR_LOG 0x58
-static uint16_t hbw_ia_offset[] = {
- 0x1000,
- 0x3400,
- 0x3800,
- 0x5000,
- 0x5800,
- 0x6000
-};
+static uint16_t hbw_ia_offset[] = { 0x1000, 0x3400, 0x3800,
+ 0x5000, 0x5800, 0x6000 };
static inline void clear_register(uint32_t reg)
{
