Stephen Warren 5eaa215607 ARM: bcm2835: fix get_timer() to return ms ...

Apparently, CONFIG_SYS_HZ must be 1000. Change this, and fix the timer
driver to conform to this.

Have the timer implementation export a custom API get_timer_us() for use
by the BCM2835 MMC API, which needs us resolution for a HW workaround.

Signed-off-by: Stephen Warren <swarren@wwwdotorg.org>

2013-04-04 08:14:54 +02:00

..

gpio.h

ARM: add basic support for the Broadcom BCM2835 SoC

2012-09-01 14:58:21 +02:00

mbox.h

ARM: rpi_b: enable SD controller, add related env/cmds

2013-03-20 15:32:16 +01:00

sdhci.h

mmc: add bcm2835 driver

2013-03-20 15:31:25 +01:00

timer.h

ARM: bcm2835: fix get_timer() to return ms

2013-04-04 08:14:54 +02:00

wdog.h

ARM: add basic support for the Broadcom BCM2835 SoC

2012-09-01 14:58:21 +02:00