diff options
Diffstat (limited to 'bsps/arm/xen')
| -rw-r--r-- | bsps/arm/xen/headers.am | 4 | ||||
| -rw-r--r-- | bsps/arm/xen/include/bsp.h | 2 | ||||
| -rw-r--r-- | bsps/arm/xen/start/bspstart.c | 1 |
3 files changed, 5 insertions, 2 deletions
diff --git a/bsps/arm/xen/headers.am b/bsps/arm/xen/headers.am index 952fa37670..562247447d 100644 --- a/bsps/arm/xen/headers.am +++ b/bsps/arm/xen/headers.am @@ -8,3 +8,7 @@ include_HEADERS += ../../../../../../bsps/arm/xen/include/tm27.h include_bspdir = $(includedir)/bsp include_bsp_HEADERS = include_bsp_HEADERS += ../../../../../../bsps/arm/xen/include/bsp/irq.h + +include_dev_clockdir = $(includedir)/dev/clock +include_dev_clock_HEADERS = +include_dev_clock_HEADERS += ../../../../../../bsps/include/dev/clock/arm-generic-timer.h diff --git a/bsps/arm/xen/include/bsp.h b/bsps/arm/xen/include/bsp.h index e5b23a902e..ae03d81c1e 100644 --- a/bsps/arm/xen/include/bsp.h +++ b/bsps/arm/xen/include/bsp.h @@ -71,8 +71,6 @@ extern "C" { #define BSP_XEN_VPL011_BASE 0x22000000 #define BSP_XEN_VPL011_LENGTH 0x1000 -void arm_generic_timer_get_config(uint32_t *frequency, uint32_t *irq); - BSP_START_TEXT_SECTION void bsp_xen_setup_mmu_and_cache(void); #ifdef __cplusplus diff --git a/bsps/arm/xen/start/bspstart.c b/bsps/arm/xen/start/bspstart.c index 6b826fc917..783181345f 100644 --- a/bsps/arm/xen/start/bspstart.c +++ b/bsps/arm/xen/start/bspstart.c @@ -30,6 +30,7 @@ #include <bsp/bootcard.h> #include <bsp/irq-generic.h> #include <bsp/linker-symbols.h> +#include <dev/clock/arm-generic-timer.h> #include <libcpu/arm-cp15.h> |