1/* SPDX-License-Identifier: GPL-2.0 */ 2#ifndef _TRACE_ARM64_KVM_H 3#define _TRACE_ARM64_KVM_H 4 5#include "trace_arm.h" 6#include "trace_handle_exit.h" 7 8#endif /* _TRACE_ARM64_KVM_H */ 9