1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_XEN_TRACE_TYPES_H
3#define _ASM_XEN_TRACE_TYPES_H
4
5enum xen_mc_flush_reason {
6 XEN_MC_FL_NONE, /* explicit flush */
7 XEN_MC_FL_BATCH, /* out of hypercall space */
8 XEN_MC_FL_ARGS, /* out of argument space */
9 XEN_MC_FL_CALLBACK, /* out of callback space */
10};
11
12enum xen_mc_extend_args {
13 XEN_MC_XE_OK,
14 XEN_MC_XE_BAD_OP,
15 XEN_MC_XE_NO_SPACE
16};
17typedef void (*xen_mc_callback_fn_t)(void *);
18
19#endif /* _ASM_XEN_TRACE_TYPES_H */
20