Searched refs:get_cr4 (Results 1 – 3 of 3) sorted by relevance
38 cr4 = get_cr4(); in cr4_cpuid_is_sync()48 cr4 = get_cr4(); in guest_code()
254 vmwrite(CR4_READ_SHADOW, get_cr4()); in init_vmcs_control_fields()290 vmwrite(HOST_CR4, get_cr4()); in init_vmcs_host_state()
214 static inline uint64_t get_cr4(void) in get_cr4() function