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