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 
10 TRACE_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