diff --git a/devicemodel/hw/platform/hpet.c b/devicemodel/hw/platform/hpet.c
index c443bde86..b5eb64744 100644
--- a/devicemodel/hw/platform/hpet.c
+++ b/devicemodel/hw/platform/hpet.c
@@ -44,6 +44,7 @@
 #include "timer.h"
 #include "hpet.h"
 #include "acpi_hpet.h"
+#include "log.h"
 
 #define	HPET_FREQ	(16777216)		/* 16.7 (2^24) Mhz */
 #define	FS_PER_S	(1000000000000000UL)
@@ -91,8 +92,8 @@
  * Debug printf
  */
 static int hpet_debug;
-#define DPRINTF(params)	do { if (hpet_debug) printf params; } while (0)
-#define WPRINTF(params)	(printf params)
+#define DPRINTF(params)	do { if (hpet_debug) pr_dbg params; } while (0)
+#define WPRINTF(params)	(pr_err params)
 
 
 static struct mem_range vhpet_mr = {
@@ -202,11 +203,11 @@ vhpet_counter(struct vhpet *vhpet, struct timespec *nowptr)
 
 	if (vhpet_counter_enabled(vhpet)) {
 		if (clock_gettime(CLOCK_REALTIME, &now))
-			errx(EX_SOFTWARE, "clock_gettime returned: %s", strerror(errno));
+			pr_dbg("clock_gettime returned: %s", strerror(errno));
 
 		/* delta = now - countbase_ts */
 		if (timespeccmp(&now, &vhpet->countbase_ts, <)) {
-			warnx("vhpet counter going backwards");
+			pr_dbg("vhpet counter going backwards");
 			vhpet->countbase_ts = now;
 		}
 
@@ -223,10 +224,9 @@ vhpet_counter(struct vhpet *vhpet, struct timespec *nowptr)
 		 * the caller wants to use it.
 		 */
 		if (nowptr) {
-			warnx("vhpet unexpected nowptr");
+			pr_warn("vhpet unexpected nowptr");
 			if (clock_gettime(CLOCK_REALTIME, nowptr))
-				errx(EX_SOFTWARE, "clock_gettime returned: %s",
-						strerror(errno));
+				pr_dbg("clock_gettime returned: %s", strerror(errno));
 		}
 	}
 
@@ -244,7 +244,7 @@ vhpet_timer_clear_isr(struct vhpet *vhpet, int n)
 		if (pin)
 			vm_set_gsi_irq(vhpet->vm, pin, GSI_SET_LOW);
 		else
-			warnx("vhpet t%d intr asserted without a valid intr route", n);
+			pr_dbg("vhpet t%d intr asserted without a valid intr route", n);
 
 		vhpet->isr &= ~(1 << n);
 	}
@@ -301,7 +301,7 @@ vhpet_timer_interrupt(struct vhpet *vhpet, int n)
 			DPRINTF(("hpet t%d intr is already asserted\n", n));
 			return;
 		} else {
-			warnx("vhpet t%d intr asserted in %s mode", n,
+			pr_dbg("vhpet t%d intr asserted in %s mode", n,
 					vhpet_timer_msi_enabled(vhpet, n) ?
 					"msi" : "edge-triggered");
 			vhpet->isr &= ~(1 << n);
@@ -355,26 +355,26 @@ vhpet_timer_handler(void *a, uint64_t nexp)
 	if (!arg->running) {
 		DPRINTF(("hpet t%d(%p) already stopped\n", n, arg));
 		if (!ts_is_zero(&vhpet->timer[n].expts)) {
-			warnx("vhpet t%d stopped with an expiration time", n);
+			pr_warn("vhpet t%d stopped with an expiration time", n);
 			ts_set_zero(&vhpet->timer[n].expts);
 		}
 		goto done;
 	} else if (arg != vhpet_tmrarg(vhpet, n)) {
-		warnx("vhpet t%d observes a stale timer arg", n);
+		pr_warn("vhpet t%d observes a stale timer arg", n);
 		goto done;
 	}
 
 	vhpet_timer_interrupt(vhpet, n);
 
 	if (clock_gettime(CLOCK_REALTIME, &now))
-		errx(EX_SOFTWARE, "clock_gettime returned: %s", strerror(errno));
+		pr_dbg("clock_gettime returned: %s", strerror(errno));
 
 	if (acrn_timer_gettime(vhpet_tmr(vhpet, n), &tmrts))
-		errx(EX_SOFTWARE, "acrn_timer_gettime returned: %s", strerror(errno));
+		pr_dbg("acrn_timer_gettime returned: %s", strerror(errno));
 
 	/* One-shot mode has a periodicity of 2^32 ticks */
 	if (ts_is_zero(&tmrts.it_interval))
-		warnx("vhpet t%d has no periodicity", n);
+		pr_dbg("vhpet t%d has no periodicity", n);
 
 	/*
 	 * The actual expiration time will be slightly later than expts.
@@ -451,7 +451,7 @@ vhpet_stop_timer(struct vhpet *vhpet, int n, const struct timespec *now,
 		return;
 
 	if (ts_is_zero(&vhpet->timer[n].expts))
-		warnx("vhpet t%d is running without an expiration time", n);
+		pr_dbg("vhpet t%d is running without an expiration time", n);
 
 	DPRINTF(("hpet t%d stopped\n", n));
 
@@ -460,13 +460,13 @@ vhpet_stop_timer(struct vhpet *vhpet, int n, const struct timespec *now,
 
 	/* Cancel the existing timer */
 	if (acrn_timer_settime(vhpet_tmr(vhpet, n), &zero_ts))
-		errx(EX_SOFTWARE, "acrn_timer_settime returned: %s", strerror(errno));
+		pr_dbg("acrn_timer_settime returned: %s", strerror(errno));
 
 	if (++vhpet->timer[n].tmridx == nitems(vhpet->timer[n].tmrlst))
 		vhpet->timer[n].tmridx = 0;
 
 	if (vhpet_timer_running(vhpet, n)) {
-		warnx("vhpet t%d timer %d is still running",
+		pr_dbg("vhpet t%d timer %d is still running",
 				n, vhpet->timer[n].tmridx);
 		vhpet_stop_timer(vhpet, n, &zero_ts.it_value, false);
 	}
@@ -523,7 +523,7 @@ vhpet_start_timer(struct vhpet *vhpet, int n, uint32_t counter,
 
 	/* Arm the new timer */
 	if (acrn_timer_settime_abs(vhpet_tmr(vhpet, n), &ts))
-		errx(EX_SOFTWARE, "acrn_timer_settime_abs returned: %s",
+		pr_dbg("acrn_timer_settime_abs returned: %s",
 				strerror(errno));
 
 	vhpet->timer[n].expts = ts.it_value;
@@ -549,7 +549,7 @@ vhpet_start_counting(struct vhpet *vhpet)
 	int i;
 
 	if (clock_gettime(CLOCK_REALTIME, &vhpet->countbase_ts))
-		errx(EX_SOFTWARE, "clock_gettime returned: %s", strerror(errno));
+		pr_dbg("clock_gettime returned: %s", strerror(errno));
 
 	/* Restart the timers based on the main counter base value */
 	for (i = 0; i < VHPET_NUM_TIMERS; i++) {
@@ -557,7 +557,7 @@ vhpet_start_counting(struct vhpet *vhpet)
 			vhpet_start_timer(vhpet, i, vhpet->countbase,
 					&vhpet->countbase_ts, true);
 		else if (vhpet_timer_running(vhpet, i)) {
-			warnx("vhpet t%d's timer is disabled but running", i);
+			pr_dbg("vhpet t%d's timer is disabled but running", i);
 			vhpet_stop_timer(vhpet, i, &zero_ts.it_value, false);
 		}
 	}
@@ -576,7 +576,7 @@ vhpet_stop_counting(struct vhpet *vhpet, uint32_t counter,
 		if (vhpet_timer_enabled(vhpet, i))
 			vhpet_stop_timer(vhpet, i, now, true);
 		else if (vhpet_timer_running(vhpet, i)) {
-			warnx("vhpet t%d's timer is disabled but running", i);
+			pr_dbg("vhpet t%d's timer is disabled but running", i);
 			vhpet_stop_timer(vhpet, i, &zero_ts.it_value, false);
 		}
 	}
@@ -602,7 +602,7 @@ vhpet_timer_update_config(struct vhpet *vhpet, int n, uint64_t data,
 	if (vhpet_timer_msi_enabled(vhpet, n) ||
 	    vhpet_timer_edge_trig(vhpet, n)) {
 		if (vhpet->isr & (1 << n)) {
-			warnx("vhpet t%d intr asserted in %s mode", n,
+			pr_dbg("vhpet t%d intr asserted in %s mode", n,
 					vhpet_timer_msi_enabled(vhpet, n) ?
 					"msi" : "edge-triggered");
 			vhpet->isr &= ~(1 << n);
@@ -640,8 +640,7 @@ vhpet_timer_update_config(struct vhpet *vhpet, int n, uint64_t data,
 			 */
 			if (!vhpet_timer_enabled(vhpet, n)) {
 				if (clock_gettime(CLOCK_REALTIME, &now))
-					errx(EX_SOFTWARE, "clock_gettime returned: %s",
-							strerror(errno));
+					pr_dbg("clock_gettime returned: %s", strerror(errno));
 				vhpet_stop_timer(vhpet, n, &now, true);
 			} else if (!(oldval & (HPET_TCNF_TYPE | HPET_TCNF_INT_ENB)) ||
 			           ((oldval ^ newval) & HPET_TCNF_TYPE))
@@ -675,7 +674,7 @@ vhpet_timer_update_config(struct vhpet *vhpet, int n, uint64_t data,
 	 */
 	if (vhpet->isr & (1 << n)) {
 		if (!old_pin) {
-			warnx("vhpet t%d intr asserted without a valid intr route", n);
+			pr_dbg("vhpet t%d intr asserted without a valid intr route", n);
 			vhpet->isr &= ~(1 << n);
 		} else if (!vhpet_timer_interrupt_enabled(vhpet, n) ||
 		    vhpet_timer_msi_enabled(vhpet, n) ||
@@ -807,7 +806,7 @@ vhpet_mmio_write(struct vhpet *vhpet, int vcpuid, uint64_t gpa, uint64_t *wval,
 					vhpet->timer[i].compval = val64;
 			} else {
 				if (vhpet->timer[i].comprate) {
-					warnx("vhpet t%d's comprate is %u in non-periodic mode"
+					pr_warn("vhpet t%d's comprate is %u in non-periodic mode"
 							" - should be 0", i, vhpet->timer[i].comprate);
 					vhpet->timer[i].comprate = 0;
 				}
diff --git a/devicemodel/hw/platform/pit.c b/devicemodel/hw/platform/pit.c
index d7c9d9567..d68594fcc 100644
--- a/devicemodel/hw/platform/pit.c
+++ b/devicemodel/hw/platform/pit.c
@@ -54,8 +54,7 @@
 		int err;													\
 		err = pthread_mutex_lock(&vpit_mtx);						\
 		if (err)													\
-			errx(EX_SOFTWARE, "pthread_mutex_lock returned %s",		\
-					strerror(err));									\
+			pr_dbg("pthread_mutex_lock returned %s", strerror(err));\
 	} while (0)
 
 #define	VPIT_UNLOCK()												\
@@ -63,8 +62,7 @@
 		int err;													\
 		err = pthread_mutex_unlock(&vpit_mtx);						\
 		if (err)													\
-			errx(EX_SOFTWARE, "pthread_mutex_unlock returned %s",	\
-					strerror(err));									\
+			pr_dbg("pthread_mutex_unlock returned %s", strerror(err));\
 	} while (0)
 
 #define vpit_ts_to_ticks(ts)	ts_to_ticks(PIT_8254_FREQ, ts)
@@ -110,7 +108,7 @@ ticks_elapsed_since(const struct timespec *since)
 	struct timespec ts;
 
 	if (clock_gettime(CLOCK_REALTIME, &ts))
-		errx(EX_SOFTWARE, "clock_gettime returned: %s", strerror(errno));
+		pr_dbg("clock_gettime returned: %s", strerror(errno));
 
 	if (timespeccmp(&ts, since, <=))
 		return 0;
@@ -164,7 +162,7 @@ vpit_get_out(struct vpit *vpit, int channel, uint64_t delta_ticks)
 		out = (initval) ? 1 : (delta_ticks != c->initial);
 		break;
 	default:
-		errx(EX_SOFTWARE, "vpit invalid timer mode: %d", c->mode);
+		pr_warn("vpit invalid timer mode: %d", c->mode);
 	}
 
 	return out;
@@ -195,10 +193,10 @@ pit_load_ce(struct channel *c)
 		c->crbyte = 0;
 
 		if (clock_gettime(CLOCK_REALTIME, &c->start_ts))
-			errx(EX_SOFTWARE, "clock_gettime returned: %s", strerror(errno));
+			pr_dbg("clock_gettime returned: %s", strerror(errno));
 
 		if (c->initial == 0 || c->initial > 0x10000) {
-			warnx("vpit invalid initial count: 0x%x - use 0x10000",
+			pr_dbg("vpit invalid initial count: 0x%x - use 0x10000",
 					c->initial);
 			c->initial = 0x10000;
 		}
@@ -229,7 +227,7 @@ vpit_timer_handler(union sigval s)
 	vpit = arg->vpit;
 
 	if (vpit == NULL) {
-		warnx("vpit is NULL");
+		pr_dbg("vpit is NULL");
 		goto done;
 	}
 
@@ -259,18 +257,17 @@ pit_timer_stop_cntr0(struct vpit *vpit, struct itimerspec *rem)
 
 		if (rem) {
 			if (timer_gettime(c->timer_id, rem))
-				errx(EX_SOFTWARE,
-						"timer_gettime returned: %s", strerror(errno));
+				pr_dbg("timer_gettime returned: %s", strerror(errno));
 		}
 
 		if (timer_delete(c->timer_id))
-			errx(EX_SOFTWARE, "timer_delete returned: %s", strerror(errno));
+			pr_dbg("timer_delete returned: %s", strerror(errno));
 
 		if (++c->timer_idx == nitems(vpit_timer_arg))
 			c->timer_idx = 0;
 
 		if (pit_cntr0_timer_running(vpit)) {
-			warnx("vpit timer %d is still active", c->timer_idx);
+			pr_dbg("vpit timer %d is still active", c->timer_idx);
 			vpit_timer_arg[c->timer_idx].active = false;
 		}
 	}
@@ -303,7 +300,7 @@ pit_timer_start_cntr0(struct vpit *vpit)
 		 * edge on OUT).
 		 */
 		if (!timespecisset(&ts.it_interval))
-			warnx("vpit is in periodic mode but with a one-shot timer");
+			pr_dbg("vpit is in periodic mode but with a one-shot timer");
 
 		/* ts.it_value contains the remaining time until expiration */
 		vpit_ticks_to_ts(pit_cr_val(c->cr), &ts.it_interval);
@@ -324,7 +321,7 @@ pit_timer_start_cntr0(struct vpit *vpit)
 		if (PERIODIC_MODE(c->mode))
 			ts.it_interval = ts.it_value;
 		else if (timespecisset(&ts.it_interval)) {
-			warnx("vpit is in aperiodic mode but with a periodic timer");
+			pr_dbg("vpit is in aperiodic mode but with a periodic timer");
 			memset(&ts.it_interval, 0, sizeof(ts.it_interval));
 		}
 	}
@@ -334,13 +331,13 @@ pit_timer_start_cntr0(struct vpit *vpit)
 	sigevt.sigev_notify_function = vpit_timer_handler;
 
 	if (timer_create(CLOCK_REALTIME, &sigevt, &c->timer_id))
-		errx(EX_SOFTWARE, "timer_create returned: %s", strerror(errno));
+		pr_dbg("timer_create returned: %s", strerror(errno));
 
 	vpit_timer_arg[c->timer_idx].active = true;
 
 	/* arm the timer */
 	if (timer_settime(c->timer_id, 0, &ts, NULL))
-		errx(EX_SOFTWARE, "timer_settime returned: %s", strerror(errno));
+		pr_dbg("timer_settime returned: %s", strerror(errno));
 }
 
 static uint16_t
@@ -364,7 +361,7 @@ pit_update_counter(struct vpit *vpit, struct channel *c, bool latch,
 		c->initial = PIT_HZ_TO_TICKS(100);
 		delta_ticks = 0;
 		if (clock_gettime(CLOCK_REALTIME, &c->start_ts))
-			errx(EX_SOFTWARE, "clock_gettime returned: %s", strerror(errno));
+			pr_dbg("clock_gettime returned: %s", strerror(errno));
 	} else
 		delta_ticks = ticks_elapsed_since(&c->start_ts);
 
@@ -386,7 +383,7 @@ pit_update_counter(struct vpit *vpit, struct channel *c, bool latch,
 		break;
 	}
 	default:
-		errx(EX_SOFTWARE, "vpit invalid timer mode: %d", c->mode);
+		pr_warn("vpit invalid timer mode: %d", c->mode);
 	}
 
 	/* cannot latch a new value until the old one has been consumed */
@@ -523,7 +520,7 @@ vpit_handler(struct vmctx *ctx, int vcpu, int in, int port, int bytes,
 	int error = 0;
 
 	if (bytes != 1) {
-		warnx("vpit invalid operation size: %d bytes", bytes);
+		pr_err("vpit invalid operation size: %d bytes", bytes);
 		return -1;
 	}
 
@@ -531,7 +528,7 @@ vpit_handler(struct vmctx *ctx, int vcpu, int in, int port, int bytes,
 
 	if (port == TIMER_MODE) {
 		if (in) {
-			warnx("invalid in op @ io port 0x%x", port);
+			pr_err("invalid in op @ io port 0x%x", port);
 			return -1;
 		}
 
@@ -544,7 +541,7 @@ vpit_handler(struct vmctx *ctx, int vcpu, int in, int port, int bytes,
 
 	/* counter ports */
 	if (port < TIMER_CNTR0 || port > TIMER_CNTR2) {
-		warnx("invalid %s op @ io port 0x%x", in ? "in" : "out", port);
+		pr_err("invalid %s op @ io port 0x%x", in ? "in" : "out", port);
 		return -1;
 	}