Searched refs:acrn_cpuid_base (Results 1 – 2 of 2) sorted by relevance
16 static inline u32 acrn_cpuid_base(void) in acrn_cpuid_base() function
24 return acrn_cpuid_base(); in acrn_detect()