diff options
| author | Nico Huber <nico.h@gmx.de> | 2019-04-06 18:00:35 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-04-09 17:20:35 +0000 |
| commit | baa070a81fb8299ad400636ccb839b651a99a1dc (patch) | |
| tree | 0116930fb46a1164703c7f4e6c65f47b0ee66d0a /src/include | |
| parent | d727fb5035ef4ae0f9b540932035b4e6dfd9b3bc (diff) | |
src: Fix remaining #include <timer.h>
Follow-up to add76f91d5 (src: Use #include <timer.h> when appropriate).
Change-Id: I7813daa0b73039ec76d33a16ce3ae0ce6cc7f2cc
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/32232
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/thread.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/include/thread.h b/src/include/thread.h index e8041c7a99..e6af2efd55 100644 --- a/src/include/thread.h +++ b/src/include/thread.h @@ -18,7 +18,6 @@ #include <stddef.h> #include <stdint.h> #include <bootstate.h> -#include <timer.h> #include <arch/cpu.h> #if CONFIG(COOP_MULTITASKING) && !defined(__SMM__) && !defined(__PRE_RAM__) |