diff options
| -rw-r--r-- | sys/arm64/arm64/mp_machdep.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/sys/arm64/arm64/mp_machdep.c b/sys/arm64/arm64/mp_machdep.c index bd43be7b6aa3..b8e0394d2611 100644 --- a/sys/arm64/arm64/mp_machdep.c +++ b/sys/arm64/arm64/mp_machdep.c @@ -112,9 +112,6 @@ static int ipi_handler(void *arg); struct mtx ap_boot_mtx; struct pcb stoppcbs[MAXCPU]; -#ifdef INVARIANTS -static uint32_t cpu_reg[MAXCPU][2]; -#endif static device_t cpu_list[MAXCPU]; /* @@ -443,13 +440,6 @@ cpu_init_fdt(u_int id, phandle_t node, u_int addr_size, pcell_t *reg) KASSERT(id < MAXCPU, ("Too many CPUs")); - KASSERT(addr_size == 1 || addr_size == 2, ("Invalid register size")); -#ifdef INVARIANTS - cpu_reg[id][0] = reg[0]; - if (addr_size == 2) - cpu_reg[id][1] = reg[1]; -#endif - /* We are already running on cpu 0 */ if (id == cpu0) return (1); |