Branch data Line data Source code
1 : : /* SPDX-License-Identifier: GPL-2.0 */ 2 : : #ifndef __LINUX_HYPEVISOR_H 3 : : #define __LINUX_HYPEVISOR_H 4 : : 5 : : /* 6 : : * Generic Hypervisor support 7 : : * Juergen Gross <jgross@suse.com> 8 : : */ 9 : : 10 : : #ifdef CONFIG_X86 11 : : 12 : : #include <asm/jailhouse_para.h> 13 : : #include <asm/x86_init.h> 14 : : 15 : 0 : static inline void hypervisor_pin_vcpu(int cpu) 16 : : { 17 : 0 : x86_platform.hyper.pin_vcpu(cpu); 18 : 0 : } 19 : : 20 : : #else /* !CONFIG_X86 */ 21 : : 22 : : #include <linux/of.h> 23 : : 24 : : static inline void hypervisor_pin_vcpu(int cpu) 25 : : { 26 : : } 27 : : 28 : : static inline bool jailhouse_paravirt(void) 29 : : { 30 : : return of_find_compatible_node(NULL, NULL, "jailhouse,cell"); 31 : : } 32 : : 33 : : #endif /* !CONFIG_X86 */ 34 : : 35 : : #endif /* __LINUX_HYPEVISOR_H */