Fix formatting and broken links

Implmements missed pre-commit changes for all files, and fixes links broken by
cleanup in #4698
This commit is contained in:
Lucian Copeland 2021-05-10 18:04:43 -04:00
parent f59a19847c
commit 525b34b042
11 changed files with 42 additions and 47 deletions

View File

@ -38,7 +38,7 @@
#include "shared-bindings/microcontroller/__init__.h" #include "shared-bindings/microcontroller/__init__.h"
#include "supervisor/port.h" #include "supervisor/port.h"
#include "supervisor/shared/workflow.h" #include "supervisor/workflow.h"
// Singleton instance of SleepMemory. // Singleton instance of SleepMemory.
const alarm_sleep_memory_obj_t alarm_sleep_memory_obj = { const alarm_sleep_memory_obj_t alarm_sleep_memory_obj = {
@ -167,7 +167,9 @@ void NORETURN common_hal_alarm_enter_deep_sleep(void) {
HAL_PWR_EnterSTANDBYMode(); HAL_PWR_EnterSTANDBYMode();
// The above shuts down RAM, so we should never hit this // The above shuts down RAM, so we should never hit this
while(1); while (1) {
;
}
} }
void common_hal_alarm_pretending_deep_sleep(void) { void common_hal_alarm_pretending_deep_sleep(void) {

View File

@ -107,29 +107,23 @@ IRQn_Type stm_peripherals_exti_get_irq(uint8_t num) {
} }
} }
void EXTI0_IRQHandler(void) void EXTI0_IRQHandler(void) {
{
stm_exti_callback[0](0); stm_exti_callback[0](0);
} }
void EXTI1_IRQHandler(void) void EXTI1_IRQHandler(void) {
{
stm_exti_callback[1](1); stm_exti_callback[1](1);
} }
void EXTI2_IRQHandler(void) void EXTI2_IRQHandler(void) {
{
stm_exti_callback[2](2); stm_exti_callback[2](2);
} }
void EXTI3_IRQHandler(void) void EXTI3_IRQHandler(void) {
{
stm_exti_callback[3](3); stm_exti_callback[3](3);
} }
void EXTI4_IRQHandler(void) void EXTI4_IRQHandler(void) {
{
stm_exti_callback[4](4); stm_exti_callback[4](4);
} }
void EXTI9_5_IRQHandler(void) void EXTI9_5_IRQHandler(void) {
{
uint32_t pending = EXTI->PR; uint32_t pending = EXTI->PR;
for (uint i = 5; i <= 9; i++) { for (uint i = 5; i <= 9; i++) {
if (pending & (1 << i)) { if (pending & (1 << i)) {
@ -138,8 +132,7 @@ void EXTI9_5_IRQHandler(void)
} }
} }
void EXTI15_10_IRQHandler(void) void EXTI15_10_IRQHandler(void) {
{
uint32_t pending = EXTI->PR; uint32_t pending = EXTI->PR;
for (uint i = 10; i <= 15; i++) { for (uint i = 10; i <= 15; i++) {
if (pending & (1 << i)) { if (pending & (1 << i)) {