Branch data     Line data    Source code

       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                 :          3 : 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>