Searched refs:cr4_cpuid_is_sync (Results 1 – 1 of 1) sorted by relevance
26 static inline bool cr4_cpuid_is_sync(void) in cr4_cpuid_is_sync() function53 GUEST_ASSERT(cr4_cpuid_is_sync()); in guest_code()59 GUEST_ASSERT(cr4_cpuid_is_sync()); in guest_code()