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

[Paul Menzel]

Paul Menzel ([e-mail]) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/17702

-gerrit

commit dfe3a5c3b6827a639a6169fdb41cd14f4f001cfb
Author: Paul Menzel 
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 
---
 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