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.
*/