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 14struct static_key paravirt_steal_enabled; 15struct static_key paravirt_steal_rq_enabled; 16 17struct paravirt_patch_template pv_ops; 18EXPORT_SYMBOL_GPL(pv_ops); 19