diff options
Diffstat (limited to 'src/coreboot-cpu-api.c')
| -rw-r--r-- | src/coreboot-cpu-api.c | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/src/coreboot-cpu-api.c b/src/coreboot-cpu-api.c index c118192..2491f15 100644 --- a/src/coreboot-cpu-api.c +++ b/src/coreboot-cpu-api.c @@ -1,6 +1,6 @@ /* ------------------------------------------- - Copyright (C) 2024, Amlal EL Mahrouss, all rights reserved. + Copyright (C) 2024, Amlal EL Mahrouss, all rights reserved. ------------------------------------------- */ @@ -8,15 +8,13 @@ /// @brief Restarts the computer. /// @param none. -void cb_restart_machine(void) -{ +void cb_restart_machine(void) { #ifdef __COMPILE_RISCV__ - volatile uint32_t* brd_pwr = (volatile uint32_t*)0x100000; - *brd_pwr = 0x7777; // send reboot signal from DMA. + volatile uint32_t* brd_pwr = (volatile uint32_t*) 0x100000; + *brd_pwr = 0x7777; // send reboot signal from DMA. - while (1) - { - asm volatile("wfi"); - } + while (1) { + asm volatile("wfi"); + } #endif } |