root/arch/arm/kernel/paravirt.c

   1 // SPDX-License-Identifier: GPL-2.0-only
   2 /*
   3  *
   4  * Copyright (C) 2013 Citrix Systems
   5  *
   6  * Author: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
   7  */
   8 
   9 #include <linux/export.h>
  10 #include <linux/jump_label.h>
  11 #include <linux/types.h>
  12 #include <asm/paravirt.h>
  13 
  14 struct static_key paravirt_steal_enabled;
  15 struct static_key paravirt_steal_rq_enabled;
  16 
  17 struct paravirt_patch_template pv_ops;
  18 EXPORT_SYMBOL_GPL(pv_ops);