[coreboot-gerrit] New patch to review for coreboot: drivers/pc80/i8254.c: Add time stamps to `setup_i8254()`

[Paul Menzel (paulepanter@users.sourceforge.net)]

Paul Menzel (paulepanter at users.sourceforge.net) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/17702

-gerrit

commit dfe3a5c3b6827a639a6169fdb41cd14f4f001cfb
Author: Paul Menzel <paulepanter at users.sourceforge.net>
Date:   Sun Jun 7 11:26:01 2015 +0200

    drivers/pc80/i8254.c: Add time stamps to `setup_i8254()`
    
    Change-Id: I47d54e4ebdc41521aa74b0c24e187dce39aef635
    Signed-off-by: Paul Menzel <paulepanter at users.sourceforge.net>
---
 src/drivers/pc80/pc/i8254.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/drivers/pc80/pc/i8254.c b/src/drivers/pc80/pc/i8254.c
index 5851ec0..c07ec12 100644
--- a/src/drivers/pc80/pc/i8254.c
+++ b/src/drivers/pc80/pc/i8254.c
@@ -16,11 +16,13 @@
 #include <arch/io.h>
 #include <pc80/i8254.h>
 #include <console/console.h>
+#include <timestamp.h>
 
 /* Initialize i8254 timers */
 
 void setup_i8254(void)
 {
+	timestamp_add_now(TS_START_TIMER_INIT);
 	/* Timer 0 (taken from biosemu) */
 	outb(TIMER0_SEL | WORD_ACCESS | MODE3 | BINARY_COUNT, TIMER_MODE_PORT);
 	outb(0x00, TIMER0_PORT);
@@ -30,6 +32,7 @@ void setup_i8254(void)
 	outb(TIMER1_SEL | LOBYTE_ACCESS | MODE3 | BINARY_COUNT,
 	     TIMER_MODE_PORT);
 	outb(0x12, TIMER1_PORT);
+	timestamp_add_now(TS_END_TIMER_INIT);
 }
 
 #if CONFIG_UDELAY_TIMER2