Searched refs:jailhouse_cpuid_base (Results 1 – 1 of 1) sorted by relevance
46 static uint32_t jailhouse_cpuid_base(void) in jailhouse_cpuid_base() function57 return jailhouse_cpuid_base(); in jailhouse_detect()276 return jailhouse_cpuid_base() != 0; in jailhouse_paravirt()