| commit | ea427b1bcc4238cc0111161888ff87a8772bbd7b | [log] [tgz] |
|---|---|---|
| author | Kent McLeod <Kent.Mcleod@data61.csiro.au> | Thu Nov 01 11:22:27 2018 +1100 |
| committer | Kent McLeod <Kent.Mcleod@data61.csiro.au> | Thu Nov 01 11:22:27 2018 +1100 |
| tree | 7f06c4a76ba839087e420468aed7ca563a5f35cb | |
| parent | 6d8cc8f4c9a2370977ac58312bd9d60832427dbc [diff] |
sel4platsupport,RISCV: Re-add header include
diff --git a/libsel4platsupport/src/arch/riscv/timer.c b/libsel4platsupport/src/arch/riscv/timer.c index cf4448c..3446b50 100644 --- a/libsel4platsupport/src/arch/riscv/timer.c +++ b/libsel4platsupport/src/arch/riscv/timer.c
@@ -12,6 +12,8 @@ #include <vka/vka.h> #include <vspace/vspace.h> +#include <sel4platsupport/timer.h> + #include <stdlib.h> seL4_timer_t *