12 lines
308 B
C
12 lines
308 B
C
/*
|
|
* Copyright (C) 2018 Intel Corporation. All rights reserved.
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*/
|
|
|
|
#include <types.h>
|
|
#include <irq.h>
|
|
|
|
void dump_intr_excp_frame(__unused const struct intr_excp_ctx *ctx) {}
|
|
void dump_exception(__unused struct intr_excp_ctx *ctx, __unused uint16_t pcpu_id) {}
|