cpu: change cpu_halt name to cpu_dead

cpu_halt actually mean cpu dead in current code, so change it with
more clear name.

Signed-off-by: Jason Chen CJ <jason.cj.chen@intel.com>
Acked-by: Tian, Kevin <kevin.tian@intel.com>
This commit is contained in:
Jason Chen CJ
2018-04-11 09:46:41 +08:00
committed by Jack Ren
parent 96f7ff3be1
commit b7d57a946b
3 changed files with 5 additions and 5 deletions

View File

@@ -510,7 +510,7 @@ void bsp_boot_init(void)
hv_main(CPU_BOOT_ID);
/* Control should not come here */
cpu_halt(CPU_BOOT_ID);
cpu_dead(CPU_BOOT_ID);
}
void cpu_secondary_init(void)
@@ -580,7 +580,7 @@ void cpu_secondary_init(void)
/* Control will only come here for secondary CPUs not configured for
* use or if an error occurs in hv_main
*/
cpu_halt(get_cpu_id());
cpu_dead(get_cpu_id());
}
int cpu_find_logical_id(uint32_t lapic_id)
@@ -643,7 +643,7 @@ static void start_cpus()
}
#endif
void cpu_halt(uint32_t logical_id)
void cpu_dead(uint32_t logical_id)
{
/* For debug purposes, using a stack variable in the while loop enables
* us to modify the value using a JTAG probe and resume if needed.

View File

@@ -440,7 +440,7 @@ void dispatch_exception(struct intr_ctx *ctx)
spinlock_release(&exception_spinlock);
/* Halt the CPU */
cpu_halt(cpu_id);
cpu_dead(cpu_id);
}
void handle_spurious_interrupt(int vector)