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()
157 vmwrite(CR4_READ_SHADOW, get_cr4()); in init_vmcs_control_fields()193 vmwrite(HOST_CR4, get_cr4()); in init_vmcs_host_state()
209 static inline uint64_t get_cr4(void) in get_cr4() function
