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);