Sign in
opensecura
/
3p
/
sel4proj
/
global-components
/
refs/heads/master
/
.
/
components
/
SerialServer
/
src
/
serial.h
blob: 55c615a6d6fc684e31a9392ac61dde62b249148a [
file
] [
log
] [
blame
] [
edit
]
/*
* Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#include
<platsupport/irq.h>
void
serial_server_irq_handle
(
void
*
data
,
ps_irq_acknowledge_fn_t
acknowledge_fn
,
void
*
ack_data
);