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