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