Remove unused cpu_irq_* functions.

Change-Id: I3a726e470553e2f95423b1d98c05c6cf3550dafd
diff --git a/inc/hf/cpu.h b/inc/hf/cpu.h
index d370830..ca697e7 100644
--- a/inc/hf/cpu.h
+++ b/inc/hf/cpu.h
@@ -106,12 +106,6 @@
 	/** Pointer to bottom of the stack. */
 	void *stack_bottom;
 
-	/**
-	 * Enabling/disabling irqs are counted per-cpu. They are enabled when
-	 * the count is zero, and disabled when it's non-zero.
-	 */
-	uint32_t irq_disable_count;
-
 	/** See api.c for the partial ordering on locks. */
 	struct spinlock lock;
 
@@ -122,8 +116,6 @@
 void cpu_module_init(const uint64_t *cpu_ids, size_t count);
 
 size_t cpu_index(struct cpu *c);
-void cpu_irq_enable(struct cpu *c);
-void cpu_irq_disable(struct cpu *c);
 bool cpu_on(struct cpu *c, ipaddr_t entry, uintreg_t arg);
 void cpu_off(struct cpu *c);
 struct cpu *cpu_find(uint64_t id);
diff --git a/src/cpu.c b/src/cpu.c
index daeb1a0..802235a 100644
--- a/src/cpu.c
+++ b/src/cpu.c
@@ -48,7 +48,6 @@
 {
 	/* TODO: Assumes that c is zeroed out already. */
 	sl_init(&c->lock);
-	c->irq_disable_count = 1;
 }
 
 void cpu_module_init(const uint64_t *cpu_ids, size_t count)
@@ -95,22 +94,6 @@
 	return c - cpus;
 }
 
-void cpu_irq_enable(struct cpu *c)
-{
-	c->irq_disable_count--;
-	if (!c->irq_disable_count) {
-		arch_irq_enable();
-	}
-}
-
-void cpu_irq_disable(struct cpu *c)
-{
-	if (!c->irq_disable_count) {
-		arch_irq_disable();
-	}
-	c->irq_disable_count++;
-}
-
 /**
  * Turns CPU on and returns the previous state.
  */