Searched refs:cr4_cpuid_is_sync (Results 1 – 1 of 1) sorted by relevance
22 static inline bool cr4_cpuid_is_sync(void) in cr4_cpuid_is_sync() function39 GUEST_ASSERT(cr4_cpuid_is_sync()); in guest_code()45 GUEST_ASSERT(cr4_cpuid_is_sync()); in guest_code()