From 0bbd79e0a5fc71d3500832af94aa85d33961dbc6 Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Mon, 26 Dec 2016 01:55:19 +0100
Subject: [PATCH] kernel: waitdebugger on lapictimerset if apic->div == 0

---
 sys/src/kern/amd64/lapic.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/sys/src/kern/amd64/lapic.c b/sys/src/kern/amd64/lapic.c
index eb34ef2..620ef4c 100644
--- a/sys/src/kern/amd64/lapic.c
+++ b/sys/src/kern/amd64/lapic.c
@@ -419,6 +419,10 @@ lapictimerset(uint64_t next)
 
 	period = apic->max;
 	if(next != 0){
+		if(apic->div == 0){
+			print("lapictimerset: apic not ready, wait for gdb\n");
+			waitdebugger();
+		}
 		period = next - fastticks(nil);	/* fastticks is just rdtsc() */
 		period /= apic->div;