1/* SPDX-License-Identifier: GPL-2.0 */
2#undef TRACE_SYSTEM
3#define TRACE_SYSTEM page_isolation
4
5#if !defined(_TRACE_PAGE_ISOLATION_H) || defined(TRACE_HEADER_MULTI_READ)
6#define _TRACE_PAGE_ISOLATION_H
7
8#include <linux/tracepoint.h>
9
10TRACE_EVENT(test_pages_isolated,
11
12	TP_PROTO(
13		unsigned long start_pfn,
14		unsigned long end_pfn,
15		unsigned long fin_pfn),
16
17	TP_ARGS(start_pfn, end_pfn, fin_pfn),
18
19	TP_STRUCT__entry(
20		__field(unsigned long, start_pfn)
21		__field(unsigned long, end_pfn)
22		__field(unsigned long, fin_pfn)
23	),
24
25	TP_fast_assign(
26		__entry->start_pfn = start_pfn;
27		__entry->end_pfn = end_pfn;
28		__entry->fin_pfn = fin_pfn;
29	),
30
31	TP_printk("start_pfn=0x%lx end_pfn=0x%lx fin_pfn=0x%lx ret=%s",
32		__entry->start_pfn, __entry->end_pfn, __entry->fin_pfn,
33		__entry->end_pfn <= __entry->fin_pfn ? "success" : "fail")
34);
35
36#endif /* _TRACE_PAGE_ISOLATION_H */
37
38/* This part must be outside protection */
39#include <trace/define_trace.h>
40