1 /*
2  * Copyright (C) 2018-2022 Intel Corporation.
3  *
4  * SPDX-License-Identifier: BSD-3-Clause
5  */
6 
7 #include <asm/cpu.h>
8 #include <asm/irq.h>
9 #include <debug/dump.h>
10 
dispatch_exception(struct intr_excp_ctx * ctx)11 void dispatch_exception(struct intr_excp_ctx *ctx)
12 {
13 	uint16_t pcpu_id = get_pcpu_id();
14 
15 	/* Dump exception context */
16 	dump_exception(ctx, pcpu_id);
17 
18 	/* Halt the CPU */
19 	cpu_dead();
20 }
21