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