diff options
Diffstat (limited to 'libhw_cr')
| -rw-r--r-- | libhw_cr/host_include/libhw/host_alarmclock.h | 4 | ||||
| -rw-r--r-- | libhw_cr/host_util.h | 4 | ||||
| -rw-r--r-- | libhw_cr/rp2040_gpioirq.c | 2 | ||||
| -rw-r--r-- | libhw_cr/w5500.c | 2 |
4 files changed, 6 insertions, 6 deletions
diff --git a/libhw_cr/host_include/libhw/host_alarmclock.h b/libhw_cr/host_include/libhw/host_alarmclock.h index 3cc43c1..2ddb054 100644 --- a/libhw_cr/host_include/libhw/host_alarmclock.h +++ b/libhw_cr/host_include/libhw/host_alarmclock.h @@ -7,10 +7,10 @@ #ifndef _LIBHW_HOST_ALARMCLOCK_H_ #define _LIBHW_HOST_ALARMCLOCK_H_ -#include <time.h> /* for clockid_t, timer_t */ +#include <time.h> /* for clockid_t, timer_t */ -#include <libmisc/private.h> #include <libhw/generic/alarmclock.h> +#include <libmisc/private.h> struct hostclock { clockid_t clock_id; diff --git a/libhw_cr/host_util.h b/libhw_cr/host_util.h index 02c04dc..3f0a671 100644 --- a/libhw_cr/host_util.h +++ b/libhw_cr/host_util.h @@ -7,8 +7,8 @@ #ifndef _LIBHW_CR_HOST_UTIL_H_ #define _LIBHW_CR_HOST_UTIL_H_ -#include <time.h> /* for struct timespec */ -#include <sys/time.h> /* for struct timeval */ +#include <sys/time.h> /* for struct timeval */ +#include <time.h> /* for struct timespec */ #include <libhw/generic/alarmclock.h> /* for {X}S_PER_S */ diff --git a/libhw_cr/rp2040_gpioirq.c b/libhw_cr/rp2040_gpioirq.c index 5b3d616..ecbdb04 100644 --- a/libhw_cr/rp2040_gpioirq.c +++ b/libhw_cr/rp2040_gpioirq.c @@ -4,8 +4,8 @@ * SPDX-License-Identifier: AGPL-3.0-or-later */ +#include <hardware/irq.h> /* for irq_set_exclusive_handler() */ #include <hardware/structs/io_bank0.h> /* for io_bank0_hw */ -#include <hardware/irq.h> /* for irq_set_exclusive_handler() */ #include <libmisc/macro.h> diff --git a/libhw_cr/w5500.c b/libhw_cr/w5500.c index 77edc49..b7c2ad1 100644 --- a/libhw_cr/w5500.c +++ b/libhw_cr/w5500.c @@ -69,8 +69,8 @@ /* TODO: Write a <libhw/generic/gpio.h> to avoid w5500.c being * pico-sdk-specific. */ -#include <hardware/gpio.h> /* pico-sdk:hardware_gpio */ #include "rp2040_gpioirq.h" +#include <hardware/gpio.h> /* pico-sdk:hardware_gpio */ #include <libcr/coroutine.h> /* for cr_yield() */ |