1*4df7363eSMaran Wilson // SPDX-License-Identifier: GPL-2.0 2*4df7363eSMaran Wilson #include <linux/types.h> 3*4df7363eSMaran Wilson 4*4df7363eSMaran Wilson /* 5*4df7363eSMaran Wilson * PVH variables. 6*4df7363eSMaran Wilson * 7*4df7363eSMaran Wilson * The variable xen_pvh needs to live in the data segment since it is used 8*4df7363eSMaran Wilson * after startup_{32|64} is invoked, which will clear the .bss segment. 9*4df7363eSMaran Wilson */ 10*4df7363eSMaran Wilson bool xen_pvh __attribute__((section(".data"))) = 0; 11