From 3828ba8a3fa427681ab57eb534fcbc3d04e2d3dc Mon Sep 17 00:00:00 2001
From: Stefano Ceccherini <stefano.ceccherini@gmail.com>
Date: Fri, 17 Jan 2014 19:33:15 +0100
Subject: [PATCH] Fix build of the hpet driver. It's not in the image so it
 doesn't get built by default.

---
 src/add-ons/kernel/drivers/timer/hpet.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/add-ons/kernel/drivers/timer/hpet.cpp b/src/add-ons/kernel/drivers/timer/hpet.cpp
index baab94a086..171955289e 100644
--- a/src/add-ons/kernel/drivers/timer/hpet.cpp
+++ b/src/add-ons/kernel/drivers/timer/hpet.cpp
@@ -71,7 +71,7 @@ device_hooks hpet_hooks = {
 int32 api_version = B_CUR_DRIVER_API_VERSION;
 
 static acpi_module_info* sAcpi;
-static vint32 sOpenCount;
+static int32 sOpenCount;
 
 
 static inline bigtime_t