jailhouse_cpuid_base   38 arch/x86/kernel/jailhouse.c 	return jailhouse_cpuid_base();
jailhouse_cpuid_base  203 arch/x86/kernel/jailhouse.c 	return jailhouse_cpuid_base() != 0;