cpu_dead should only run on current pcpu

no need for input param pcpu_id.

Tracked-On: #1842
Signed-off-by: Jason Chen CJ <jason.cj.chen@intel.com>
Acked-by: Eddie Dong <eddie.dong@intel.com>
This commit is contained in:
Jason Chen CJ
2018-12-12 21:19:11 +08:00
committed by wenlingz
parent d2627ecfcc
commit d2bac7cc5d
5 changed files with 9 additions and 5 deletions

View File

@@ -376,7 +376,7 @@ void dispatch_exception(struct intr_excp_ctx *ctx)
spinlock_release(&exception_spinlock);
/* Halt the CPU */
cpu_dead(pcpu_id);
cpu_dead();
}
#ifdef CONFIG_PARTITION_MODE