usb: pci: Fix cast for 64-bit compilation

[u-boot] / drivers / timer / Makefile

diff --git a/drivers/timer/Makefile b/drivers/timer/Makefile
index fe954eca9a5fde08cdb9cb5b017fa8434bb9d79c..f351fbb4e0ca10c594df39e6c527892e9cd164d7 100644 (file)
--- a/drivers/timer/Makefile
+++ b/drivers/timer/Makefile
@@ -8,3 +8,4 @@ obj-$(CONFIG_TIMER)             += timer-uclass.o
 obj-$(CONFIG_ALTERA_TIMER)     += altera_timer.o
 obj-$(CONFIG_SANDBOX_TIMER)    += sandbox_timer.o
 obj-$(CONFIG_X86_TSC_TIMER)    += tsc_timer.o
+obj-$(CONFIG_OMAP_TIMER)       += omap-timer.o