35562d8b64
This fixes the generic timer driver to get the current tick from the high register, so that comparison with the high count value (obtained previously from the same register) has a chance to succeed. Change-Id: I5ce02bfa15a91ad34641b8e24813a5b7ca790ec3 Signed-off-by: Paul Kocialkowski <contact@paulk.fr> Reviewed-on: https://review.coreboot.org/17929 Tested-by: build bot (Jenkins) Reviewed-by: Nico Huber <nico.h@gmx.de> Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net> |
||
|---|---|---|
| .. | ||
| serial | ||
| storage | ||
| timer | ||
| udc | ||
| usb | ||
| video | ||
| Makefile.inc | ||
| cbmem_console.c | ||
| hid.c | ||
| keyboard.c | ||
| nvram.c | ||
| options.c | ||
| pci.c | ||
| speaker.c | ||