18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * 48c2ecf20Sopenharmony_ci * Copyright (C) 2013 Citrix Systems 58c2ecf20Sopenharmony_ci * 68c2ecf20Sopenharmony_ci * Author: Stefano Stabellini <stefano.stabellini@eu.citrix.com> 78c2ecf20Sopenharmony_ci */ 88c2ecf20Sopenharmony_ci 98c2ecf20Sopenharmony_ci#include <linux/export.h> 108c2ecf20Sopenharmony_ci#include <linux/jump_label.h> 118c2ecf20Sopenharmony_ci#include <linux/types.h> 128c2ecf20Sopenharmony_ci#include <asm/paravirt.h> 138c2ecf20Sopenharmony_ci 148c2ecf20Sopenharmony_cistruct static_key paravirt_steal_enabled; 158c2ecf20Sopenharmony_cistruct static_key paravirt_steal_rq_enabled; 168c2ecf20Sopenharmony_ci 178c2ecf20Sopenharmony_cistruct paravirt_patch_template pv_ops; 188c2ecf20Sopenharmony_ciEXPORT_SYMBOL_GPL(pv_ops); 19